From Functional Programs to Interaction Nets via the Rewriting Calculus

Horatiu Cirstea; Germain Faure; Maribel Fernández; Ian Mackie; François Régis Sinot

doi:10.1016/j.entcs.2007.02.046

From Functional Programs to Interaction Nets via the Rewriting Calculus

Horatiu Cirstea
, Germain Faure
, Maribel Fernández
, Ian Mackie
, François Régis Sinot

École Polytechnique

LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications
Department of Computer Science
King's College London
Laboratoire d'Informatique (LIX)

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

Abstract

We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising from the compilation. This encoding gives rise to new strategies of evaluation, where pattern-matching and 'traditional' β-reduction can proceed in parallel without overheads.

Original language	English
Pages (from-to)	39-56
Number of pages	18
Journal	Electronic Notes in Theoretical Computer Science
Volume	174
Issue number	10 SPEC. ISS.
DOIs	https://doi.org/10.1016/j.entcs.2007.02.046
Publication status	Published - 2 Jul 2007

Keywords

interaction nets
pattern-matching
rewriting calculus

Access to Document

10.1016/j.entcs.2007.02.046

Cite this

@article{758e6d3d9b544b0888cfd042273704ad,

title = "From Functional Programs to Interaction Nets via the Rewriting Calculus",

abstract = "We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising from the compilation. This encoding gives rise to new strategies of evaluation, where pattern-matching and 'traditional' β-reduction can proceed in parallel without overheads.",

keywords = "interaction nets, pattern-matching, rewriting calculus",

author = "Horatiu Cirstea and Germain Faure and Maribel Fern{\'a}ndez and Ian Mackie and Sinot, \{Fran{\c c}ois R{\'e}gis\}",

year = "2007",

month = jul,

day = "2",

doi = "10.1016/j.entcs.2007.02.046",

language = "English",

volume = "174",

pages = "39--56",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "10 SPEC. ISS.",

}

TY - JOUR

T1 - From Functional Programs to Interaction Nets via the Rewriting Calculus

AU - Cirstea, Horatiu

AU - Faure, Germain

AU - Fernández, Maribel

AU - Mackie, Ian

AU - Sinot, François Régis

PY - 2007/7/2

Y1 - 2007/7/2

N2 - We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising from the compilation. This encoding gives rise to new strategies of evaluation, where pattern-matching and 'traditional' β-reduction can proceed in parallel without overheads.

AB - We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising from the compilation. This encoding gives rise to new strategies of evaluation, where pattern-matching and 'traditional' β-reduction can proceed in parallel without overheads.

KW - interaction nets

KW - pattern-matching

KW - rewriting calculus

UR - https://www.scopus.com/pages/publications/34250738976

U2 - 10.1016/j.entcs.2007.02.046

DO - 10.1016/j.entcs.2007.02.046

M3 - Article

AN - SCOPUS:34250738976

SN - 1571-0661

VL - 174

SP - 39

EP - 56

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 10 SPEC. ISS.

ER -

From Functional Programs to Interaction Nets via the Rewriting Calculus

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this