Program Transformation and Programming Environments
Report on a Workshop, Munich, Germany, 12 to 16 September 1983
Published on 29. February 2012
Book
Paperback/Softback
XIV, 380 pages
978-3-642-46492-8 (ISBN)
Description
Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
More details
Series
Edition
Softcover reprint of the original 1st ed. 1984
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XIV, 380 p.
Dimensions
Height: 244 mm
Width: 170 mm
Thickness: 22 mm
Weight
681 gr
ISBN-13
978-3-642-46492-8 (9783642464928)
DOI
10.1007/978-3-642-46490-4
Schweitzer Classification
Other editions
Additional editions
Peter Pepper
Program Transformation and Programming Environments
Report on a Workshop, Munich, Germany, 12 to 16 September 1983
Book
07/1984
Springer
€89.13
Article exhausted; check different version
Persons
Content
I: Digest of the Discussions.- 0. Introduction: What Industry Needs - What Research Offers.- 1. Life Cycle Models and Programming Environments.- 2. Management & Organization.- 3. Formal Methods In Program Development.- 4. Software Specification.- 5. Program Development by Transformations.- 6. Acceptance of Formal Methods.- 7. Outlook.- 8. Conclusion.- II: Position Statements and Papers.- Coherent Development Methods in an Industrial High-Level Language Environment.- A Systematics of Software Engineering: Structure, Terminology, and Classification of Techniques.- Assessment of Software Quality.- Measuring Software Technology (together with D. N. Card, V. E. Church, G. Page, F. E. McGarry).- Organizational Means to Increase Software Quality.- The Role of Configuration Management.- Understanding and Expressing Software Construction.- Structure-Oriented Programing.- Algebraic Methods for Program Construction: The Project CIP.- Specification and Transformation: Automated Implementation.- Algebraic Techniques for Program Specification.- Verification of Processes Using Program Transformation.- Exception Handling: Formal Specification and Systematic Program Construction (together with M. Bidoit, B. Biebow, C. Gresse, G. Guiho).- Programming with Continuations (together with Ch. T. Haynes, E. Kohlbecker).- Inferential Techniques for Program Development.- Lisp to Fortran - Program Transformation Applied.- Language Comparison by Source-to-Source Translation.- The CIP Transformation System.- Transformation-Based Software Development.- Supercompilers.- Software Development and Inferential Programming.- Program Transformation in the ALICE Project.- From Geological Knowledge to Computational Relationships: A Case Study of the Expertise of Programing (together with R. D. Duffey II).- List of Participants Glossary.