AbstractRefine is a tool that supports the application of Morgan's refinement calculus. It was designed to support teaching and use by beginners; it is already in use. We describe here the extension of Refine to support the development of (possibly recursive) procedures in the algebraic style of the refinement calculus already adopted by Refine
The continuous growth of complex systems makes the development of correct software increasingly cha...
A refinement calculus provides a method for transforming specifications to executable code, maintain...
The refinement calculus is a formal technique for the development of programs which are provably cor...
AbstractRefine is a tool that supports the application of Morgan's refinement calculus. It was desig...
Morgan's approach to program development is a refinement calculus: using this method, programs are d...
The refinement calculus is a modern technique to develop and implement software in a precise, comple...
In this paper we demonstrate a refinement calculus for logic programs, which is a framework for deve...
This report reviews the requirements for tool support of refinement, and reports on the design and i...
AbstractFifty years ago there were few mathematical models of program semantics, perhaps none. Now t...
ISBN 2-9512461-2-9International audienceThe concept of refinement is central to the development of s...
grantor: University of TorontoA 'formal refinement method' is a method of constructing cor...
This thesis presents a refinement calculus for expressions. The aim of refinement calculi is to make...
AbstractOnce you have proved your refinement correct, that is not the end. Real products, and their ...
The refinement calculus for the development of programs from specifications is well suited to mechan...
This paper explores the role for mechanised support for refining specifications to executable progra...
The continuous growth of complex systems makes the development of correct software increasingly cha...
A refinement calculus provides a method for transforming specifications to executable code, maintain...
The refinement calculus is a formal technique for the development of programs which are provably cor...
AbstractRefine is a tool that supports the application of Morgan's refinement calculus. It was desig...
Morgan's approach to program development is a refinement calculus: using this method, programs are d...
The refinement calculus is a modern technique to develop and implement software in a precise, comple...
In this paper we demonstrate a refinement calculus for logic programs, which is a framework for deve...
This report reviews the requirements for tool support of refinement, and reports on the design and i...
AbstractFifty years ago there were few mathematical models of program semantics, perhaps none. Now t...
ISBN 2-9512461-2-9International audienceThe concept of refinement is central to the development of s...
grantor: University of TorontoA 'formal refinement method' is a method of constructing cor...
This thesis presents a refinement calculus for expressions. The aim of refinement calculi is to make...
AbstractOnce you have proved your refinement correct, that is not the end. Real products, and their ...
The refinement calculus for the development of programs from specifications is well suited to mechan...
This paper explores the role for mechanised support for refining specifications to executable progra...
The continuous growth of complex systems makes the development of correct software increasingly cha...
A refinement calculus provides a method for transforming specifications to executable code, maintain...
The refinement calculus is a formal technique for the development of programs which are provably cor...
DOI
Add to ORKG