Objects, rules and strategies in ELAN

Hubert Dubois (1) , Hélène Kirchner (1)

1 PROTHEO - Constraints, automatic deduction and software properties proofs

This paper gives an introduction to the ELAN rule-based programming language and presents a general approach for prototyping a new language by transformations defined in ELAN. The approach is used to design an extension of ELAN with objects, leading to an expressive programming framework that combines the concepts of objects, rules and strategies.

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

Domaines: Autre [cs.OH]

Hubert Dubois, Hélène Kirchner. Objects, rules and strategies in ELAN. 2nd AMAST Workshop on Algebraic Methods in Language Processing - AMILP'2000, 2000, Iowa City, Iowa, USA, 19 p. ⟨inria-00099054⟩