Non-deterministic computations in ELAN

Hélène Kirchner 1 Pierre-Etienne Moreau 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for experimenting their combination. The ELAN language is based on rewriting logic and evaluation of labelled conditional rewrite rules. ELAN has two originalities with respect to several other algebraic languages, namely to handle non-deterministic computations and to provide a user-defined strategy language for controlling rule application. We focus in this paper on these two related aspects and explain how non-determinism is used in ELAN programs and handled in the ELAN compiler.
Type de document :
Communication dans un congrès
Recent Developments in Algebraic Development Techniques. 13th International Workshop - WADT'98, 1998, Lisbone, 15 p, 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00098483
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:01:58
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00098483, version 1

Collections

Citation

Hélène Kirchner, Pierre-Etienne Moreau. Non-deterministic computations in ELAN. Recent Developments in Algebraic Development Techniques. 13th International Workshop - WADT'98, 1998, Lisbone, 15 p, 1998. 〈inria-00098483〉

Partager

Métriques

Consultations de la notice

55