From Z Specifications To Functional Implementations
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The Chalmers Lazy-ML CompilerThe Computer Journal, 1989
- Algebraic Identities for Program CalculationThe Computer Journal, 1989
- Functional programs as executable specificationsPhilosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1984
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977