Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN

Abstract

The recently introduced rewriting calculus permits to express in a uniform and simple way first-order rewriting, lambda-calculus and non-deterministic computations as well as their combination. In this work, we recall the main properties of the rewriting calculus and we give a full first-order presentation of this rewriting calculus using an explicit substitution setting that generalizes the lambda-sigma-calculus. Its basic properties in the untyped as well as typed cases are presented. We then detail how to use the rewriting calculus to give an operational semantics to the rewrite based language ELAN.
No file

Dates and versions

inria-00098808 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00098808 , version 1

Cite

Horatiu Cirstea, Claude Kirchner. Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN. FroCoS'98, 1998, Amsterdam, The Netherlands, 25 p. ⟨inria-00098808⟩
54 View
0 Download

Share

Gmail Facebook X LinkedIn More