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

  1. Introduction
  2. Languages of Relations
  3. Relational Refinement Concepts
  4. Relational Datatypes and Generic Programming
  5. Z Operation Schemas as Relations
  6. The Demonic Calculus of Relations
  7. The Fork-Algebraic Programming Calculus
  8. Data Refinement
  9. Conclusion


Wolfram Kahl