Refinement and Development of Programs from Relational Specifications
Wolfram Kahl
pp. 4.1--4.43 in Elec. Notes in Theoretical Computer Science
Vol. 44, No. 3, 2003
Summary
Based on a systematic and unifying discussion
of several relational refinement concepts used in the literature,
this paper presents an overview of
specification and refinement concepts and methods
based on relations.
Contents
- Introduction
- Languages of Relations
- Relational Refinement Concepts
- Relational Datatypes and Generic Programming
- Z Operation Schemas as Relations
- The Demonic Calculus of Relations
- The Fork-Algebraic Programming Calculus
- Data Refinement
- Conclusion
Wolfram Kahl