Matches in SemOpenAlex for { <https://semopenalex.org/work/W2928041919> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2928041919 endingPage "580" @default.
- W2928041919 startingPage "553" @default.
- W2928041919 abstract "Incremental computation requires propagating changes and reusing intermediate results of base computations. Derivatives, as produced by static differentiation [7], propagate changes but do not reuse intermediate results, leading to wasteful recomputation. As a solution, we introduce conversion to Cache-Transfer-Style, an additional program transformations producing purely incremental functional programs that create and maintain nested tuples of intermediate results. To prove CTS conversion correct, we extend the correctness proof of static differentiation from STLC to untyped $$lambda $$ -calculus via step-indexed logical relations, and prove sound the additional transformation via simulation theorems. To show ILC-based languages can improve performance relative to from-scratch recomputation, and that CTS conversion can extend its applicability, we perform an initial performance case study. We provide derivatives of primitives for operations on collections and incrementalize selected example programs using those primitives, confirming expected asymptotic speedups." @default.
- W2928041919 created "2019-04-11" @default.
- W2928041919 creator A5007052309 @default.
- W2928041919 creator A5029318181 @default.
- W2928041919 creator A5030151158 @default.
- W2928041919 date "2019-01-01" @default.
- W2928041919 modified "2023-10-16" @default.
- W2928041919 title "Incremental $$lambda $$ -Calculus in Cache-Transfer Style" @default.
- W2928041919 cites W1508098446 @default.
- W2928041919 cites W1975575519 @default.
- W2928041919 cites W1991984504 @default.
- W2928041919 cites W1992808564 @default.
- W2928041919 cites W2038401271 @default.
- W2928041919 cites W2048223797 @default.
- W2928041919 cites W2100444372 @default.
- W2928041919 cites W2116476518 @default.
- W2928041919 cites W2118172707 @default.
- W2928041919 cites W2340086043 @default.
- W2928041919 cites W2514317887 @default.
- W2928041919 cites W2520704513 @default.
- W2928041919 cites W2952451116 @default.
- W2928041919 cites W4235725220 @default.
- W2928041919 cites W4246397708 @default.
- W2928041919 cites W4254357460 @default.
- W2928041919 doi "https://doi.org/10.1007/978-3-030-17184-1_20" @default.
- W2928041919 hasPublicationYear "2019" @default.
- W2928041919 type Work @default.
- W2928041919 sameAs 2928041919 @default.
- W2928041919 citedByCount "3" @default.
- W2928041919 countsByYear W29280419192020 @default.
- W2928041919 countsByYear W29280419192021 @default.
- W2928041919 countsByYear W29280419192023 @default.
- W2928041919 crossrefType "book-chapter" @default.
- W2928041919 hasAuthorship W2928041919A5007052309 @default.
- W2928041919 hasAuthorship W2928041919A5029318181 @default.
- W2928041919 hasAuthorship W2928041919A5030151158 @default.
- W2928041919 hasBestOaLocation W29280419191 @default.
- W2928041919 hasConcept C104317684 @default.
- W2928041919 hasConcept C11413529 @default.
- W2928041919 hasConcept C115537543 @default.
- W2928041919 hasConcept C118615104 @default.
- W2928041919 hasConcept C118930307 @default.
- W2928041919 hasConcept C135790938 @default.
- W2928041919 hasConcept C173608175 @default.
- W2928041919 hasConcept C185592680 @default.
- W2928041919 hasConcept C18903297 @default.
- W2928041919 hasConcept C199360897 @default.
- W2928041919 hasConcept C204241405 @default.
- W2928041919 hasConcept C206588197 @default.
- W2928041919 hasConcept C2776175482 @default.
- W2928041919 hasConcept C2778361913 @default.
- W2928041919 hasConcept C33923547 @default.
- W2928041919 hasConcept C41008148 @default.
- W2928041919 hasConcept C45374587 @default.
- W2928041919 hasConcept C55439883 @default.
- W2928041919 hasConcept C55493867 @default.
- W2928041919 hasConcept C80444323 @default.
- W2928041919 hasConcept C86803240 @default.
- W2928041919 hasConceptScore W2928041919C104317684 @default.
- W2928041919 hasConceptScore W2928041919C11413529 @default.
- W2928041919 hasConceptScore W2928041919C115537543 @default.
- W2928041919 hasConceptScore W2928041919C118615104 @default.
- W2928041919 hasConceptScore W2928041919C118930307 @default.
- W2928041919 hasConceptScore W2928041919C135790938 @default.
- W2928041919 hasConceptScore W2928041919C173608175 @default.
- W2928041919 hasConceptScore W2928041919C185592680 @default.
- W2928041919 hasConceptScore W2928041919C18903297 @default.
- W2928041919 hasConceptScore W2928041919C199360897 @default.
- W2928041919 hasConceptScore W2928041919C204241405 @default.
- W2928041919 hasConceptScore W2928041919C206588197 @default.
- W2928041919 hasConceptScore W2928041919C2776175482 @default.
- W2928041919 hasConceptScore W2928041919C2778361913 @default.
- W2928041919 hasConceptScore W2928041919C33923547 @default.
- W2928041919 hasConceptScore W2928041919C41008148 @default.
- W2928041919 hasConceptScore W2928041919C45374587 @default.
- W2928041919 hasConceptScore W2928041919C55439883 @default.
- W2928041919 hasConceptScore W2928041919C55493867 @default.
- W2928041919 hasConceptScore W2928041919C80444323 @default.
- W2928041919 hasConceptScore W2928041919C86803240 @default.
- W2928041919 hasLocation W29280419191 @default.
- W2928041919 hasOpenAccess W2928041919 @default.
- W2928041919 hasPrimaryLocation W29280419191 @default.
- W2928041919 hasRelatedWork W1493775136 @default.
- W2928041919 hasRelatedWork W1494913990 @default.
- W2928041919 hasRelatedWork W1579918296 @default.
- W2928041919 hasRelatedWork W1597062518 @default.
- W2928041919 hasRelatedWork W1853785581 @default.
- W2928041919 hasRelatedWork W2413260086 @default.
- W2928041919 hasRelatedWork W2887599639 @default.
- W2928041919 hasRelatedWork W335169515 @default.
- W2928041919 hasRelatedWork W39738311 @default.
- W2928041919 hasRelatedWork W2467097043 @default.
- W2928041919 isParatext "false" @default.
- W2928041919 isRetracted "false" @default.
- W2928041919 magId "2928041919" @default.
- W2928041919 workType "book-chapter" @default.