From Functional Programs to Interaction Nets via the Rewriting Calculus

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

  • Affiliations:
  • LORIA, BP 239, 54506 Vandœuvre-lès-Nancy Cedex, France;LORIA, BP 239, 54506 Vandœuvre-lès-Nancy Cedex, France;King's College London, Department of Computer Science, Strand, London WC2R 2LS, U.K.;King's College London, Department of Computer Science, Strand, London WC2R 2LS, U.K. and LIX, École Polytechnique, 91128 Palaiseau Cedex, France;LIX, École Polytechnique, 91128 Palaiseau Cedex, France

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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