Executing CASL Equational Specifications with the ELAN Rewrite Engine - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1999

Executing CASL Equational Specifications with the ELAN Rewrite Engine

Résumé

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.

Domaines

Autre [cs.OH]

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00098937

Soumis le : mardi 26 septembre 2006-08:40:29

Dernière modification le : jeudi 15 février 2024-03:32:05

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00098937 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA IRISA UNIV-LORRAINE INRIA2 LORIA LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
52 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More