Posted Sunday at 01:20 PM5 days 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 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