Re nement Calculator tutorial and manual. Draft available upon request (0)

by M J Butler, T Långbacka, R Rukenas, J von Wright
Results 1 - 3 of 3

The Refinement Calculator: Proof Support for Program Refinement

by Michael Butler, Jim Grundy, Thomas Langbacka, Rimvydas Ruksenas, Joakim von Wright - Formal Methods Pacific ’97 , 1997
"... . We describe the Refinement Calculator, a tool which supports ..."
Abstract - Cited by 22 (2 self) - Add to MetaCart
. We describe the Refinement Calculator, a tool which supports

A Tool for Data Refinement

by Rimvydas Ruksenas, et al. , 1997
"... We describe a tool for data refinement based on the Refinement Calculator. The tool supports the calculational approach to data refinement. As a consequence of the program calculation, a refinement theorem is automatically derived. The operation of the tool is illustrated with a case study. ..."
Abstract - Cited by 11 (3 self) - Add to MetaCart
We describe a tool for data refinement based on the Refinement Calculator. The tool supports the calculational approach to data refinement. As a consequence of the program calculation, a refinement theorem is automatically derived. The operation of the tool is illustrated with a case study.

Program Derivation Using the Refinement Calculator

by Michael Butler, Thomas Långbacka - Theorem Proving in Higher Order Logics: 9th International Conference, volume 1125 of Lecture Notes in Computer Science , 1996
"... . The refinement calculus provides a theory for the stepwise refinement ..."
Abstract - Cited by 6 (3 self) - Add to MetaCart
. The refinement calculus provides a theory for the stepwise refinement