HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Towards a Methodology for Rule-Based Programming

Carlos Castro 1 Claude Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00099428
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:03:36 AM
Last modification on : Friday, February 4, 2022 - 3:30:41 AM
Long-term archiving on: : Friday, November 25, 2016 - 11:50:29 AM

Identifiers

  • HAL Id : inria-00099428, version 1

Collections

Citation

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

Share

Metrics

Record views

76

Files downloads

42