Constructing Programs from Specifications: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991
North-Holland, 1991 - Computers - 515 pages
This book contains papers and discussion transcripts giving a good survey of the state of the art in deriving programs from their specifications by algebraic means. As opposed to the various refinement calculi for procedural programs, the setting here is mostly that of functional or, to cope with nondeterminacy, relational languages. First approaches to the classification of specifications allow the systematic solution of very general classes of problems. Also, the analysis of the structure of developments is shown in several examples. Impressive work is presented in the area of automating standard derivation tasks, both concerning (semi-)automatic construction of efficient data type implementations and automatic transformation of functional specifications into efficient code. Further papers address automatic program synthesis, rapid prototyping and transformational derivation of parallel algorithms.
What people are saying - Write a review
We haven't found any reviews in the usual places.
A Note on Similarity of Specifications and Reusability of Transformational
Structure and Design of Problem Reduction Generators
Type Analysis and Data Structure Selection
DTRE A SemiAutomatic Transformation System
Blaine A Goldberg
Functional Specifications for Mathematical Computations
Partial Relations for Program Derivation Adequacy Inevitability
Relations as a Program Development Language
Transforming Algebraic Specifications Lessons Learnt from an Example
Synthesizing Abstract Data Type Representation in the DEVA
Declarative Programming in a Type Theory
Improvements in Program Synthesis Using FineGrain Sorted Logic
What Good Are Formal Methods?
Transformational Implementation of Historical Reference
Integrating REFINE Prototypes in a WDM Development Framework
Program Transformation Expressed in the DEVA MetaCalculus
Formal Methods Whence and Whither