Useful Open Call-By-Need - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2022

Useful Open Call-By-Need

Résumé

This paper studies useful sharing, which is a sophisticated optimization for λ-calculi, in the context of call-by-need evaluation in presence of open terms. Useful sharing turns out to be harder in call-by-need than in call-by-name or call-by-value, because call-by-need evaluates inside environments, making it harder to specify when a substitution step is useful. We isolate the key involved concepts and prove the correctness and the completeness of useful sharing in this setting.
Fichier principal
Vignette du fichier
LIPIcs-CSL-2022-4.pdf (847.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03912452 , version 1 (24-12-2022)

Identifiants

Citer

Beniamino Accattoli, Maico Leberle. Useful Open Call-By-Need. CSL 2022 - 30th EACSL Annual Conference on Computer Science Logic, Feb 2022, Gottingen, Germany. ⟨10.4230/LIPIcs.CSL.2022.4⟩. ⟨hal-03912452⟩
74 Consultations
56 Téléchargements

Altmetric

Partager

More