Towards a Methodology for Rule-Based Programming
Résumé
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.