353 articles – 360 Notices  [english version]
HAL : hal-00637048, version 1

Fiche détaillée  Récupérer au format
A Unified Approach to Fully Lazy Sharing
Thibaut Balabonski 1

We give an axiomatic presentation of sharing-via-labelling for weak lambda-calculi, that allows to formally compare many different approaches to fully lazy sharing, and obtain two important results. We prove that the known implementations of full laziness are all equivalent in terms of the number of beta-reductions performed, although they behave differently regarding the duplication of terms. We establish a link between the optimality theories of weak lambda-calculi and first-order rewriting systems by expressing fully lazy lambda-lifting in our framework, thus emphasizing the first-order essence of weak reduction.
1 :  Preuves, Programmes et Systèmes (PPS)
CNRS : UMR7126 – Université Paris VII - Paris Diderot
Informatique/Théorie et langage formel
Liste des fichiers attachés à ce document : 
Balabonski-FullyLazySharing-Long.pdf(494.3 KB)