A logic for schema-based program development

Henson, Martin C.; Reeves, Steve

doi:10.1007/s00165-003-0004-7

Files

content.pdf

291.6Kb

DOI

10.1007/s00165-003-0004-7

Citation

Export citation

Henson, M.C. & Reeves, S. (2003). A logic for schema-based program development.Formal Aspects of Computing. 15(1), 48-83.

Permanent Research Commons link: https://hdl.handle.net/10289/65

Abstract

We show how a theory of specification refinement and program development can be constructed as a conservative extension of our existing logic for Z. The resulting system can be set up as a development method for a Z-like specification language, or as a generalisation of a refinement calculus (with a novel semantics). In addition to the technical development we illustrate how the theory can be used in practice.

Date

2003-07-01

Type

Journal Article

Publisher

Springer-Verlag London Ltd

Rights

The final, definitive version of this article is available at the Formal Aspects of Computing webpage through Springerlink.

Collections

Computing and Mathematical Sciences Papers [1455]