505 |
0# |
$a 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. |