Rules, strategies and objects in ELANReportar como inadecuado

Rules, strategies and objects in ELAN - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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

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



Documentos relacionados