Program specification and transformation : proceedings of the IFIP TC2 / WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 Apr., 1986

The economic construction of correct and efficient programs is the central issue in the field of program specification and transformation. Research in this field is crucial, with the advent of cheap computing power in a society increasingly dependent on the availability of error-free programs. In recognizing this need, this book presents examination of a variety of aspects - from practical experience in applying transformational methodology, to actual production of software, via examples of transformational derivations of algorithms. By thus illustrating the state of the art, and providing results of recent research, the book should not only aid scientists but also show professionals just how their work will be influenced by these developments Content: Session I. Deriving Sequential and Parallel Programs from Pure LISP Specifications by Program Transformation (J.M. Boyle et al.). A Prolog Program Transformation System (H. Nakagawa). Controlled Mixed Computation and its Application to Systematic Development of Language-Oriented Parsers (A.P. Ershov, B.N. Ostrovski). Rigorous Derivation of a Sophisticated Algorithm: Smoothsort (U. Furbach, L. Schmitz). Strategical Derivation of On-Line Programs (A. Pettorossi). Transformational Design: An Annotated Example (L.M.G. Feijs, H.B.M. Jonkers). Compile-Time Garbage Collection or How to Transform Programs in an Assignment-Free Language into Code with Assignments (M. Bruynooghe). Deriving and Using Destructive Data Types (U. Jorring, W.L. Scherlis). How to Take into Account the Properties of Operations in Program Flow Analysis (V.K. Sabelfeld). A Survey and Classification of Some Program Transformation Approaches and Techniques (M.S. Feather). Session II. On the Design of Generate-and-Test Algorithms: Subspace Generators (D.R. Smith). On the Use of Composition in Transformational Programming (R. Berghammer). Transformation Rules for Conditional Join Operations (B. Moller, O. Paukner). Systematic Transformation of Interface Specifications: Applicative to Imperative Style, Exceptions (B. Krieg-Bruckner). Distributive Laws for Composition and Union of Module Specifications for Software Systems (H. Ehrig, W. Fey, F. Parisi-Presicce). Object-Oriented Subsystem Specification (S.A. Schuman, D.H. Pitt). An Introduction to ASL (E. Astesiano, M. Wirsing). Algebraic Specifications with Higher-Order Operators (B. Moller). Session III. Algebraic Specification and Proof of Properties of a Mail Service (C.A.R. Hoare, He, Jifeng). Application of Modal Logics to the Reasoning about Applicative Programs (P. Pepper). Two Exercises Found in a Book on Algorithmics (R.S. Bird, L. Meertens). Local Formalisms: Widening the Spectrum of Wide-Spectrum Languages (D.S. Wile). Specifications and Transformations: When Does the Work Really Get Done? (S.W. Smoliar). Formal Specification of Large-Scale Software - Objectives, Design Decisions and Experiences in a Concrete Software Project (B. Moller, H. Partsch). Author Index.