Rules, strategies and objects in ELANReport as inadecuate

Rules, strategies and objects in ELAN - Download this document for free, or read online. Document in PDF available to download.

1 PROTHEO - Constraints, automatic deduction and software properties proofs INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Abstract : This paper gives an introduction to the ELAN rule-based programming language and presents the extension of the language with objects. The extension with objects is defined as a specific instance of the rewriting calculus, also called rho-calculus. This leads to an expressive programming framework that combines the concepts of objects, rules and strategies which has been prototyped in ELAN.

Mots-clés : programmation à base de règles object rule-based programming rewrite rule strategy règles de réécriture stratégie objets

Author: Hubert Dubois - Hélène Kirchner -



Related documents