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
King's College London
Laboratoire d'Informatique (LIX)

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

2 Citations (Scopus)

Résumé

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.

langue originale	Anglais
Pages (de - à)	39-56
Nombre de pages	18
journal	Electronic Notes in Theoretical Computer Science
Volume	174
Numéro de publication	10 SPEC. ISS.
Les DOIs	https://doi.org/10.1016/j.entcs.2007.02.046
état	Publié - 2 juil. 2007

Accès au document

10.1016/j.entcs.2007.02.046

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation