Jump to content

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

Featured Replies

Posted
Constructing Programs from Specifications

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

by Bernhard Möller

Publisher North-Holland
Published Date 1991
Page Count 515
Categories Business & Economics / Industries / Construction, Computers / General, Computers / Programming / General
Language EN
Average Rating N/A (based on N/A ratings)
Maturity Rating No Mature Content Detected
ISBN 0444891846
Book Cover 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.
More Information

Create an account or sign in to comment

Important Information

Terms of Use Privacy Policy Guidelines We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.