Skip navigation
Skip navigation

A language of refinements

Vickers, Trevor; Gardner, Paul


The refinement calculus is a formal technique for the development of programs which are provably correct with respect to their specifications. A formal language is presented for the description of program development using the refinement calculus. The language provides an abstract representation of the overall program development, reflecting its tree-like structure. The language is used for recording developments in the refinement editor - an automated tool supporting the refinement calculus.

CollectionsANU Research Publications
Date published: 1994
Type: Working/Technical Paper


File Description SizeFormat Image
1623-01.2003-07-09T01:36:22Z.xsh356 BEPrints MD5 Hash XML
TR-CS-94-05.pdf137.19 kBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator