Matches in SemOpenAlex for { <https://semopenalex.org/work/W2917026412> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2917026412 abstract "We study the weak call-by-value $lambda$-calculus as a model for computational complexity theory and establish the natural measures for time and space -- the number of beta-reductions and the size of the largest term in a computation -- as reasonable measures with respect to the invariance thesis of Slot and van Emde Boas [STOC~84]. More precisely, we show that, using those measures, Turing machines and the weak call-by-value $lambda$-calculus can simulate each other within a polynomial overhead in time and a constant factor overhead in space for all computations that terminate in (encodings) of 'true' or 'false'. We consider this result as a solution to the long-standing open problem, explicitly posed by Accattoli [ENTCS~18], of whether the natural measures for time and space of the $lambda$-calculus are reasonable, at least in case of weak call-by-value evaluation. Our proof relies on a hybrid of two simulation strategies of reductions in the weak call-by-value $lambda$-calculus by Turing machines, both of which are insufficient if taken alone. The first strategy is the most naive one in the sense that a reduction sequence is simulated precisely as given by the reduction rules; in particular, all substitutions are executed immediately. This simulation runs within a constant overhead in space, but the overhead in time might be exponential. The second strategy is heap-based and relies on structure sharing, similar to existing compilers of eager functional languages. This strategy only has a polynomial overhead in time, but the space consumption might require an additional factor of $log n$, which is essentially due to the size of the pointers required for this strategy. Our main contribution is the construction and verification of a space-aware interleaving of the two strategies, which is shown to yield both a constant overhead in space and a polynomial overhead in time." @default.
- W2917026412 created "2019-03-02" @default.
- W2917026412 creator A5072678855 @default.
- W2917026412 creator A5080496189 @default.
- W2917026412 creator A5091690351 @default.
- W2917026412 date "2019-02-20" @default.
- W2917026412 modified "2023-09-27" @default.
- W2917026412 title "The Weak Call-By-Value {lambda}-Calculus is Reasonable for Both Time and Space" @default.
- W2917026412 cites W2024929322 @default.
- W2917026412 cites W2770961223 @default.
- W2917026412 hasPublicationYear "2019" @default.
- W2917026412 type Work @default.
- W2917026412 sameAs 2917026412 @default.
- W2917026412 citedByCount "1" @default.
- W2917026412 countsByYear W29170264122019 @default.
- W2917026412 crossrefType "posted-content" @default.
- W2917026412 hasAuthorship W2917026412A5072678855 @default.
- W2917026412 hasAuthorship W2917026412A5080496189 @default.
- W2917026412 hasAuthorship W2917026412A5091690351 @default.
- W2917026412 hasConcept C11413529 @default.
- W2917026412 hasConcept C118615104 @default.
- W2917026412 hasConcept C134306372 @default.
- W2917026412 hasConcept C135790938 @default.
- W2917026412 hasConcept C179799912 @default.
- W2917026412 hasConcept C197685441 @default.
- W2917026412 hasConcept C199343813 @default.
- W2917026412 hasConcept C199360897 @default.
- W2917026412 hasConcept C2777686260 @default.
- W2917026412 hasConcept C2779960059 @default.
- W2917026412 hasConcept C29248071 @default.
- W2917026412 hasConcept C311688 @default.
- W2917026412 hasConcept C33923547 @default.
- W2917026412 hasConcept C41008148 @default.
- W2917026412 hasConcept C45374587 @default.
- W2917026412 hasConcept C71924100 @default.
- W2917026412 hasConcept C80444323 @default.
- W2917026412 hasConcept C90119067 @default.
- W2917026412 hasConceptScore W2917026412C11413529 @default.
- W2917026412 hasConceptScore W2917026412C118615104 @default.
- W2917026412 hasConceptScore W2917026412C134306372 @default.
- W2917026412 hasConceptScore W2917026412C135790938 @default.
- W2917026412 hasConceptScore W2917026412C179799912 @default.
- W2917026412 hasConceptScore W2917026412C197685441 @default.
- W2917026412 hasConceptScore W2917026412C199343813 @default.
- W2917026412 hasConceptScore W2917026412C199360897 @default.
- W2917026412 hasConceptScore W2917026412C2777686260 @default.
- W2917026412 hasConceptScore W2917026412C2779960059 @default.
- W2917026412 hasConceptScore W2917026412C29248071 @default.
- W2917026412 hasConceptScore W2917026412C311688 @default.
- W2917026412 hasConceptScore W2917026412C33923547 @default.
- W2917026412 hasConceptScore W2917026412C41008148 @default.
- W2917026412 hasConceptScore W2917026412C45374587 @default.
- W2917026412 hasConceptScore W2917026412C71924100 @default.
- W2917026412 hasConceptScore W2917026412C80444323 @default.
- W2917026412 hasConceptScore W2917026412C90119067 @default.
- W2917026412 hasLocation W29170264121 @default.
- W2917026412 hasOpenAccess W2917026412 @default.
- W2917026412 hasPrimaryLocation W29170264121 @default.
- W2917026412 hasRelatedWork W1502244627 @default.
- W2917026412 hasRelatedWork W1631142578 @default.
- W2917026412 hasRelatedWork W1914374958 @default.
- W2917026412 hasRelatedWork W1980364701 @default.
- W2917026412 hasRelatedWork W2007147248 @default.
- W2917026412 hasRelatedWork W2010239186 @default.
- W2917026412 hasRelatedWork W2207885555 @default.
- W2917026412 hasRelatedWork W2232523289 @default.
- W2917026412 hasRelatedWork W2249308842 @default.
- W2917026412 hasRelatedWork W2404643898 @default.
- W2917026412 hasRelatedWork W2417744963 @default.
- W2917026412 hasRelatedWork W2440266813 @default.
- W2917026412 hasRelatedWork W2759159410 @default.
- W2917026412 hasRelatedWork W2950300420 @default.
- W2917026412 hasRelatedWork W2964168620 @default.
- W2917026412 hasRelatedWork W2996703487 @default.
- W2917026412 hasRelatedWork W3133336796 @default.
- W2917026412 hasRelatedWork W350391862 @default.
- W2917026412 hasRelatedWork W878826661 @default.
- W2917026412 hasRelatedWork W1901715461 @default.
- W2917026412 isParatext "false" @default.
- W2917026412 isRetracted "false" @default.
- W2917026412 magId "2917026412" @default.
- W2917026412 workType "article" @default.