Program construction : international summer school
F. L. Bauer ... [et al.] ; edited by F. L. Bauer and M. Broy.
Berlin ; New York : Springer-Verlag, 1979.
vii, 651 págs. ; 25 cm.
Serie: Lecture notes in computer science ; 69
ISBN: 038709251X
"The international summer school took place from July 26 to August 6, 1978, in Marktoberdorf ... and was sponsored by the NATO Scientific Affairs Division under the 1978 Advanced Study Institutes programme."
Reseña: MathSciNet, 81f:68007
Contenido
- F. L. Bauer, Preface. I. The thinking programmer: Edsger W. Dijkstra, A more formal treatment of a less simple example
- Edsger W. Dijkstra, Stationary behaviour of some ternary networks
- Edsger W. Dijkstra, Finding the correctness proof of a concurrent program
- Edsger W. Dijkstra, On the interplay between mathematics and programming
- Edsger W. Dijkstra, A theorem about odd powers of odd integers
- Edsger W. Dijkstra, In honour of Fibonacci
- Edsger W. Dijkstra, On the foolishness of ``natural language programming''
- Edsger W. Dijkstra, Program inversion
- David Gries, The Schorr-Waite graph marking algorithm
- David Gries, Eliminating the chaff
- . II. Program verification: David Gries, Current ideas in programming methodology
- David Gries, Basic axiomatic definitions
- David Gries, The multiple assignment statement
- David Gries, Is sometimes ever better than always?
- J. J. Horning, A case study in language design: Euclid
- R. L. London, J. V. Guttag, J. J. Horning, B. W. Lampson, J. G. Mitchell and G. J. Popek, Proof rules for the programming language Euclid
- J. J. Horning, Verification of Euclid programs
- Susan S. Owicki, Specifications and proofs for abstract data types in concurrent programs
- Susan S. Owicki, Specification and verification of a network mail system
- . III. Program development by transformation: F. L. Bauer, Program development by stepwise transformations
- -the project CIP
- F. L. Bauer, M. Broy, H. Partsch, P. Pepper and H. Wössner, Systematics of transformation rules
- H. Wössner, P. Pepper, H. Partsch and F. L. Bauer, Special transformation techniques
- P. Pepper, A study on transformational semantics
- F. L. Bauer, Detailization and lazy evaluation, infinite objects and pointer representation
- H. Partsch and M. Broy, Examples for change of types and object structures
- Michael Griffiths, Development of the Schorr-Waite algorithm
- Susan L. Gerhart, A derivation-oriented proof of the Schorr-Waite marking algorithm
- . IV. Special language considerations and formal tools: J. J. Horning, Programming languages for reliable computing systems
- Michael Griffiths, Programming methodology and language implications
- F. L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner, H. Partsch, P. Pepper and H. Wössner, Towards a wide spectrum language to support program specification and program development
- M. Broy, R. Gnatz and M. Wirsing, Semantics of nondeterministic and noncontinuous constructs
- John Guttag, Notes on type abstraction
- Claude Pair, Some theoretical aspects of program construction.