Executing CASL Equational Specifications with the ELAN Rewrite Engine - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1999

Executing CASL Equational Specifications with the ELAN Rewrite Engine

Abstract

We define in this note the class of CASL programs executable with the ELAN system, that performs efficient rewriting modulo associativity-commutativity. We describe the technique used to translate CASL equational specifications into ELAN rewrite programs and to execute them.
No file

Dates and versions

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

Identifiers

  • HAL Id : inria-00098937 , version 1

Cite

Hélène Kirchner, Christophe Ringeissen. Executing CASL Equational Specifications with the ELAN Rewrite Engine. [Intern report] 99-R-278 || kirchner99e, 1999, 15 p. ⟨inria-00098937⟩
51 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More