Program Construction International Summer School
| Main Authors: | , , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1979, 1979
|
| Edition: | 1st ed. 1979 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- A more formal treatment of a less simple example
- Stationary behaviour of some ternary networks
- Finding the correctness proof of a concurrent program
- On the interplay between mathematics and programming
- A theorem about odd powers of odd integers
- In honour of Fibonacci
- On the foolishness of "natural language programming"
- Program inversion
- The Schorr-Waite graph marking algorithm
- Eliminating the chaff
- Proofs, programs and their development — The axiomatic approach
- Current ideas in programming methodology
- Basic axiomatic definitions
- The multiple assignment statement
- Is sometimes ever better than always?
- A case study in language design: Euclid
- Proof rules for the programming language Euclid
- Verification of Euclid programs
- Specifications and proofs for abstract data types in concurrent programs
- Specification and verification of a network mail system
- From specification to implementation — The formal approach
- Program development by stepwise transformations — The project CIP
- Systematics of transformation rules
- Special transformation techniques
- A study on transformational semantics
- Detailization and lazy evaluation, infinite objects and pointer representation
- Examples for change of types and object structures
- Development of the Schorr-Waite algorithm
- A derivation-oriented proof of the Schorr-Waite marking algorithm
- Languages as tools — Interactive program construction
- Programing languages for reliable computing systems
- Programming methodology and language implications
- Towards a wide spectrum language to support program specification and program development
- Semantics of nondeterministic and noncontinuous constructs
- Notes on type abstraction
- Some theoretical aspects of program construction