Open AccessA Formal Methodology for Deriving Purely Functional Programs From Z Specifications via the Intermediate Specification Language FunZ.
Author(s) -
Linda Sherrell
Publication year - 1995
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.31390/gradschool_disstheses.5981
Subject(s) - computer science , programming language , functional programming , software engineering , formal methods , haskell , formal specification , functional specification , specification language , software development , scope (computer science) , implementation , functional requirement , software , software construction
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom