Programme Specification and Transformation
I.F.I.P.Working Conference Proceedings
L.G.L.T. Meertens(Editor)
Elsevier (Publisher)
Published in April 1987
Book
Hardback
544 pages
978-0-444-70223-4 (ISBN)
Description
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.
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.
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.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 230 mm
Width: 150 mm
ISBN-13
978-0-444-70223-4 (9780444702234)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
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.