From Functional Programs to Interaction Nets via the Rewriting Calculus.

Cirstea, Horatiu, Faure, Germain, Fernández, Maribel, Mackie, Ian and Sinot, François-Régis (2007) From Functional Programs to Interaction Nets via the Rewriting Calculus. In: Electronic Notes in Theoretical Computer Science.

Full text not available from this repository.

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.

Item Type: Conference or Workshop Item (Paper)
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Ian Mackie
Date Deposited: 06 Feb 2012 20:47
Last Modified: 30 Nov 2012 17:08
URI: http://sro.sussex.ac.uk/id/eprint/28141
📧 Request an update