The Z-into-Haskell tool-kit: An illustrative case study

This publication has 10 references indexed in Scilit:

• Ten commandments of formal methods
  Computer, 1995
• Experiences in translating Z designs to haskell implementations
  Software: Practice and Experience, 1994
• From VDM specifications to functional prototypes
  Journal of Systems and Software, 1993
• Report on the programming language Haskell
  ACM SIGPLAN Notices, 1992
• The essence of functional programming
  Published by Association for Computing Machinery (ACM) ,1992
• Z—, an Executable Subset of Z
  Published by Springer Nature ,1992
• Programs
  Published by Elsevier ,1990
• From Z Specifications To Functional Implementations
  Published by Springer Nature ,1990
• Specifications are not (necessarily) executable
  Software Engineering Journal, 1989
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978