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

Front Cover
Bernhard Möller
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.

Contents

Preface
1
J Jeuring
31
A Note on Similarity of Specifications and Reusability of Transformational
71
Structure and Design of Problem Reduction Generators
91
Type Analysis and Data Structure Selection
125
DTRE A SemiAutomatic Transformation System
152
Blaine A Goldberg
165
Functional Specifications for Mathematical Computations
205
Partial Relations for Program Derivation Adequacy Inevitability
319
Relations as a Program Development Language
373
Transforming Algebraic Specifications Lessons Learnt from an Example
399
Synthesizing Abstract Data Type Representation in the DEVA
427
Declarative Programming in a Type Theory
451
Improvements in Program Synthesis Using FineGrain Sorted Logic
473
Discussion Transcripts
497
What Good Are Formal Methods?
503

Transformational Implementation of Historical Reference
225
Integrating REFINE Prototypes in a WDM Development Framework
243
Program Transformation Expressed in the DEVA MetaCalculus
267
Relational Catamorphisms
287
Formal Methods Whence and Whither
509
Author Index
515
Copyright

Bibliographic information