From functional programs to interaction nets via the Rewriting Calculus - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2007

From functional programs to interaction nets via the Rewriting Calculus

Résumé

We use the rho-calculus as an intermediate language in the implementation of functional languages with pattern-matching features, and define an interaction net encoding of the rho-terms arising from the compilation, where pattern-matching and 'traditional' rho-reduction can proceed in parallel without additional overheads.

Domaines

Langage de programmation [cs.PL]

Horatiu Cirstea  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00000821

Soumis le : jeudi 2 novembre 2006-10:22:46

Dernière modification le : jeudi 1 août 2024-17:08:02

Fichier non déposé

Dates et versions

inria-00000821 , version 1 (02-11-2006)

Identifiants

  • HAL Id : inria-00000821 , version 1

Citer

Horatiu Cirstea, Germain Faure, Maribel Fernandez, Ian Mackie, François-Régis Sinot. From functional programs to interaction nets via the Rewriting Calculus. Sixth International Workshop on Reduction Strategies in Rewriting and Programming, Aug 2006, Seattle, Washington, United States. pp.39-56. ⟨inria-00000821⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO UNIV-LORRAINE INRIA2 LORIA
170 Consultations
0 Téléchargements

Partager

More