Program Construction
Bauer, F. L. / Owicki, S. S. / Pair, C. / Partsch, H. / Pepper, P. / Guttag, J. V. / Wirsing, M. / Dijkstra, E. W. / Gerhart, S. L. / Gries, D. / Griffiths, M. / Wössner, H. / Horning, J. J. / Broy, M. / Bauer, F. L.
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 thei...