REASONABLE SPACE FOR THE )- CALCULUS, LOGARITHMICALLY

被引：0
|
作者：
Accattoli, Beniamino [1 ,2 ]
Dal Lago, Ugo [1 ,3 ]
Vanoni, Gabriele [4 ]
机构：
[1] Inria, Le Chesnay Rocquencourt, France
[2] Ecole Polytech, LIX, UMR 7161, Palaiseau, France
[3] Univ Bologna, Bologna, Italy
[4] Univ Paris, IRIF, CNRS, Paris, France
来源：
LOGICAL METHODS IN COMPUTER SCIENCE | 2024年 / 20卷 / 04期
关键词：
lambda-calculus; abstract machines; complexity; space;
D O I：
10.46298/lmcs-20(4:15)2024
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
. Can the lambda-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 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, which is unreasonable but it can be turned into a reasonable one using known techniques. Finally, we show how to transport our results to the call-by-value lambda-calculus.
引用
收藏
页码：1 / 15
页数：57
相关论文
共 50 条
  • [21] A differentiable calculus on the space of loops and connections
    Reiris, M
    GEOMETRIC METHODS FOR QUANTUM FIELD THEORY, 2001, : 489 - 497
  • [22] A Set Space Model for Feature Calculus
    Chen, Yanping
    Zheng, Qinghua
    Chen, Ping
    IEEE INTELLIGENT SYSTEMS, 2017, 32 (05) : 36 - 42
  • [23] Noncommutative minkowski space and transcendental calculus
    Omori, Hideki
    Maeda, Yoshiaki
    Miyazaki, Naoya
    Yoshioka, Akira
    PROGRESS OF THEORETICAL PHYSICS SUPPLEMENT, 2007, (171): : 184 - 195
  • [24] Polynomial calculus space and resolution width
    Galesi, Nicola
    Kolodziejczyk, Leszek A.
    Thapen, Neil
    2019 IEEE 60TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2019), 2019, : 1325 - 1337
  • [25] A phenomenological calculus of Wiener description space
    Richardson, I. W.
    Louie, A. H.
    CHEMISTRY & BIODIVERSITY, 2007, 4 (10) : 2315 - 2331
  • [26] Secondary calculus and the covariant phase space
    Vitagliano, Luca
    JOURNAL OF GEOMETRY AND PHYSICS, 2009, 59 (04) : 426 - 447
  • [27] DO WE NEED A CALCULUS OF WEIGHT TO UNDERSTAND PROOF BEYOND A REASONABLE DOUBT - COMMENT
    KAYE, DH
    BOSTON UNIVERSITY LAW REVIEW, 1986, 66 (3-4) : 657 - 672
  • [28] Fock space representation of differential calculus on the noncommutative quantum space
    Mishra, AK
    Rajasekaran, G
    JOURNAL OF MATHEMATICAL PHYSICS, 1997, 38 (01) : 466 - 475
  • [29] Reasonable design space approach to response surface approximation
    Virginia Polytechnic Inst and State, Univ, Blacksburg, United States
    J Aircr, 1 (308-315):
  • [30] A logarithmically improved regularity criterion for the supercritical quasi-geostrophic equations in Besov space
    Gala, Sadek
    ACTA MATHEMATICAE APPLICATAE SINICA-ENGLISH SERIES, 2017, 33 (03): : 679 - 686
12345