Towards a Methodology for Rule-Based Programming - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2002

Towards a Methodology for Rule-Based Programming


In this paper, we propose general guidelines that could be considered to define transformation rules when programming using a rule-based approach. We apply the proposed steps for solving some typical problems in Computer Science. Through these examples, we also show how clear and easy it is to prove properties such as correctness, completeness and termination following these guidelines when a rule-based paradigm is used.
Fichier principal
Vignette du fichier
A02-R-529.pdf (248.09 Ko) Télécharger le fichier

Dates and versions

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


  • HAL Id : inria-00099428 , version 1


Carlos Castro, Claude Kirchner. Towards a Methodology for Rule-Based Programming. [Intern report] A02-R-529 || castro02a, 2002, 24 p. ⟨inria-00099428⟩
76 View
55 Download


Gmail Facebook X LinkedIn More