Skip navigation
Skip navigation

A language of refinements

Vickers, Trevor; Gardner, Paul

Description

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
URI: http://hdl.handle.net/1885/40781
http://digitalcollections.anu.edu.au/handle/1885/40781

Download

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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator