Interaction systems II : the practice of optimal reductions

Abstract : Lamping's optimal graph reduction technique for the l-calculus is generalized to a new class of higher order rewriting systems, called interaction systems. Interaction systems provide a nice integration of the functional paradigm with a rich class of data structures (all inductive types) and some basic control flow constructs such as conditionals and (primitive or general) recursion. We describe a uniform and optimal implementation in Lamping's style, for all these features. The paper is natural continuation where we focused on the theoretical aspects of optimal reductions in interaction systems (family relation, labeling, extraction, ...).
Type de document :
Rapport
[Research Report] RR-2001, INRIA. 1993
Liste complète des métadonnées

https://hal.inria.fr/inria-00074671
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 16:03:35
Dernière modification le : jeudi 11 janvier 2018 - 16:31:49
Document(s) archivé(s) le : mardi 12 avril 2011 - 15:58:27

Fichiers

Identifiants

  • HAL Id : inria-00074671, version 1

Collections

Citation

Andrea Asperti, Cosimo Laneve. Interaction systems II : the practice of optimal reductions. [Research Report] RR-2001, INRIA. 1993. 〈inria-00074671〉

Partager

Métriques

Consultations de la notice

169

Téléchargements de fichiers

52