Always private
DuckDuckGo never tracks your searches.
Learn More
You can hide this reminder in Search Settings
All regions
Argentina
Australia
Austria
Belgium (fr)
Belgium (nl)
Brazil
Bulgaria
Canada (en)
Canada (fr)
Catalonia
Chile
China
Colombia
Croatia
Czech Republic
Denmark
Estonia
Finland
France
Germany
Greece
Hong Kong
Hungary
Iceland
India (en)
Indonesia (en)
Ireland
Israel (en)
Italy
Japan
Korea
Latvia
Lithuania
Malaysia (en)
Mexico
Netherlands
New Zealand
Norway
Pakistan (en)
Peru
Philippines (en)
Poland
Portugal
Romania
Russia
Saudi Arabia
Singapore
Slovakia
Slovenia
South Africa
Spain (ca)
Spain (es)
Sweden
Switzerland (de)
Switzerland (fr)
Taiwan
Thailand (en)
Turkey
Ukraine
United Kingdom
US (English)
US (Spanish)
Vietnam (en)
Safe search: moderate
Strict
Moderate
Off
Any time
Any time
Past day
Past week
Past month
Past year
  1. This paper presents a new reasonable space cost model for the $\lambda$-calculus, based on a variant over the Krivine's abstract machine. For the first time, this cost model is able to account for logarithmic space. Moreover, we study the time behavior of our machine and show how to transport our results to the call-by-value $\lambda$-calculus.
    • Reasonable Space for the -Calculus, Logarithmically* - arXiv.org

      REASONABLE SPACE FOR THE λ-CALCULUS, LOGARITHMICALLY 3 (3) Encoding and moving over tapes: designing the Space KAM is only half of the story. The other half is the refinement of the encoding of TMs into the λ-calculus. Our reference is the encoding by Dal Lago and Accattoli [DLA17], which uses a linear amount of extra

  2. lmcs.episciences.org

    This paper presents a new reasonable space cost model for the $\lambda$-calculus, based on a variant over the Krivine abstract machine. For the first time, this cost model is able to accommodate logarithmic space. Moreover, we study the time behavior of our machine and show how to transport our results to the call-by-value $\lambda$-calculus.
  3. Was this helpful?
  4. In the study of reasonable cost models for the λ-calculus, it is customary to show that the λ-calculus simulates Turing machines reasonably, and conversely that the λ-calculus can be simulated reasonably by random access machines (RAMs and TMs being both reasonable models) up to sharing.Since space is more delicate than time, we fix the involved theories and their cost measures carefully.
  5. Reasonable Space for the λ-Calculus, Logarithmically Beniamino Accattoli ... • Theory of computation →Lambda calculus; Abstract ma-chines. KEYWORDS lambda-calculus, abstract machines, complexity ... Beniamino Accattoli, Ugo Dal Lago, and Gabriele Vanoni. 2022. Reasonable Space for the λ-Calculus, Logarithmically. In 37th AnnualACM/IEEE ...
  6. REASONABLE SPACE FOR THE λ-CALCULUS, LOGARITHMICALLY 3 (3) Encoding and moving over tapes: designing the Space KAM is only half of the story. The other half is the refinement of the encoding of TMs into the λ-calculus. Our reference is the encoding by Dal Lago and Accattoli [DLA17], which uses a linear amount of extra
  7. researchgate.net

    This paper presents a new reasonable space cost model for the λ \lambda-calculus, based on a variant over the Krivine abstract machine. For the first time, this cost model is able to accommodate ...
  8. semanticscholar.org

    A new reasonable space cost model for the λ-calculus, based on a variant over the Krivine abstract machine, is presented, for the first time, able to accommodate logarithmic space. ... , title={Reasonable Space for the $\lambda$-Calculus, Logarithmically}, author={Beniamino Accattoli and Ugo Dal Lago and Gabriele Vanoni}, journal={Proceedings ...
  9. hal.u-pec.fr

    Can the λ-calculus be considered a reasonable computational model? Can we use it for measuring the time and space consumption of algorithms? While the literature contains positive answers about time, much less is known about space. This paper presents a new reasonable space cost model for the λ-calculus, based on a variant over the Krivine abstract machine. For the first time, this cost ...

    Can’t find what you’re looking for?

    Help us improve DuckDuckGo searches with your feedback

Custom date rangeX