Ebook: Program Construction: International Summer School

---

Content:
Front Matter....Pages -
A more formal treatment of a less simple example....Pages 1-20
Stationary behaviour of some ternary networks....Pages 21-23
Finding the correctness proof of a concurrent program....Pages 24-34
On the interplay between mathematics and programming....Pages 35-46
A theorem about odd powers of odd integers....Pages 47-48
In honour of Fibonacci....Pages 49-50
On the foolishness of "natural language programming"....Pages 51-53
Program inversion....Pages 54-57
The Schorr-Waite graph marking algorithm....Pages 58-69
Eliminating the chaff....Pages 70-74
Proofs, programs and their development — The axiomatic approach....Pages 75-76
Current ideas in programming methodology....Pages 77-93
Basic axiomatic definitions....Pages 94-99
The multiple assignment statement....Pages 100-112
Is sometimes ever better than always?....Pages 113-124
A case study in language design: Euclid....Pages 125-132
Proof rules for the programming language Euclid....Pages 133-163
Verification of Euclid programs....Pages 164-173
Specifications and proofs for abstract data types in concurrent programs....Pages 174-197
Specification and verification of a network mail system....Pages 198-234
From specification to implementation — The formal approach....Pages 235-236
Program development by stepwise transformations — The project CIP....Pages 237-272
Systematics of transformation rules....Pages 273-289
Special transformation techniques....Pages 290-321
A study on transformational semantics....Pages 322-405
Detailization and lazy evaluation, infinite objects and pointer representation....Pages 406-420
Examples for change of types and object structures....Pages 421-463
Development of the Schorr-Waite algorithm....Pages 464-471
A derivation-oriented proof of the Schorr-Waite marking algorithm....Pages 472-492
Languages as tools — Interactive program construction....Pages 493-493
Programing languages for reliable computing systems....Pages 494-530
Programming methodology and language implications....Pages 531-542
Towards a wide spectrum language to support program specification and program development....Pages 543-552
Semantics of nondeterministic and noncontinuous constructs....Pages 553-592
Notes on type abstraction....Pages 593-616
Some theoretical aspects of program construction....Pages 617-651

---

Content:
Front Matter....Pages -
A more formal treatment of a less simple example....Pages 1-20
Stationary behaviour of some ternary networks....Pages 21-23
Finding the correctness proof of a concurrent program....Pages 24-34
On the interplay between mathematics and programming....Pages 35-46
A theorem about odd powers of odd integers....Pages 47-48
In honour of Fibonacci....Pages 49-50
On the foolishness of "natural language programming"....Pages 51-53
Program inversion....Pages 54-57
The Schorr-Waite graph marking algorithm....Pages 58-69
Eliminating the chaff....Pages 70-74
Proofs, programs and their development — The axiomatic approach....Pages 75-76
Current ideas in programming methodology....Pages 77-93
Basic axiomatic definitions....Pages 94-99
The multiple assignment statement....Pages 100-112
Is sometimes ever better than always?....Pages 113-124
A case study in language design: Euclid....Pages 125-132
Proof rules for the programming language Euclid....Pages 133-163
Verification of Euclid programs....Pages 164-173
Specifications and proofs for abstract data types in concurrent programs....Pages 174-197
Specification and verification of a network mail system....Pages 198-234
From specification to implementation — The formal approach....Pages 235-236
Program development by stepwise transformations — The project CIP....Pages 237-272
Systematics of transformation rules....Pages 273-289
Special transformation techniques....Pages 290-321
A study on transformational semantics....Pages 322-405
Detailization and lazy evaluation, infinite objects and pointer representation....Pages 406-420
Examples for change of types and object structures....Pages 421-463
Development of the Schorr-Waite algorithm....Pages 464-471
A derivation-oriented proof of the Schorr-Waite marking algorithm....Pages 472-492
Languages as tools — Interactive program construction....Pages 493-493
Programing languages for reliable computing systems....Pages 494-530
Programming methodology and language implications....Pages 531-542
Towards a wide spectrum language to support program specification and program development....Pages 543-552
Semantics of nondeterministic and noncontinuous constructs....Pages 553-592
Notes on type abstraction....Pages 593-616
Some theoretical aspects of program construction....Pages 617-651
....