From Functional Programs to Interaction Nets via the Rewriting Calculus | Zendy

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

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

From Functional Programs to Interaction Nets via the Rewriting Calculus

Author(s) -

Horatiu Cirstea,

Germain Faure,

Maribel Fernández,

Ian Mackie,

François-Régis Sinot

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.02.046

Subject(s) - rewriting , computer science , compiler , programming language , encoding (memory) , matching (statistics) , pattern matching , net (polyhedron) , reduction (mathematics) , functional programming , pi calculus , theoretical computer science , calculus (dental) , mathematics , artificial intelligence , statistics , geometry , medicine , dentistry

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research