Interaction systems II : the practice of optimal reductions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1993

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, ...).

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-2001.pdf (2.29 Mo) Télécharger le fichier

Dates and versions

inria-00074671 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00074671 , version 1

Cite

Andrea Asperti, Cosimo Laneve. Interaction systems II : the practice of optimal reductions. [Research Report] RR-2001, INRIA. 1993. ⟨inria-00074671⟩
78 View
66 Download

Share

Gmail Facebook Twitter LinkedIn More