From functional programs to interaction nets via the Rewriting Calculus

Abstract : 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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/inria-00000821
Contributor : Horatiu Cirstea <>
Submitted on : Thursday, November 2, 2006 - 10:22:46 AM
Last modification on : Wednesday, March 27, 2019 - 4:41:26 PM

Identifiers

  • HAL Id : inria-00000821, version 1

Collections

Citation

Horatiu Cirstea, Germain Faure, Maribel Fernandez, Ian Mackie, François-Régis Sinot. From functional programs to interaction nets via the Rewriting Calculus. Sergio Antoy. Sixth International Workshop on Reduction Strategies in Rewriting and Programming, Aug 2006, Seattle, Washington, United States. Elsevier, 174(10), pp.39-56, 2007, Electronic Notes in Theoretical Computer Science. 〈inria-00000821〉

Share

Metrics

Record views

313