Program Construction 1978: Marktoberdorf, Germany

Friedrich L. Bauer, Manfred Broy (Eds.): Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany. Lecture Notes in Computer Science 69 Springer 1979, ISBN 3-540-09251-X BibTeX

@proceedings{DBLP:conf/pc/1978,
  editor    = {Friedrich L. Bauer and
               Manfred Broy},
  title     = {Program Construction, International Summer School, July 26 -
               August 6, 1978, Marktoberdorf, germany},
  booktitle = {Program Construction},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {69},
  year      = {1979},
  isbn      = {3-540-09251-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

The Thinking Programmer

Edsger W. Dijkstra: A More Formal Treatment of a Less Simple Example. 2-20 BibTeX
Edsger W. Dijkstra: Stationary Behaviour of Some Ternary Networks. 21-23 BibTeX
Edsger W. Dijkstra: Finding the Correctness Proof of a Concurrent Program. 24-34 BibTeX
Edsger W. Dijkstra: On the Interplay between Mathematics and Programming. 35-46 BibTeX
Edsger W. Dijkstra: A Theorem about Odd Powers of Odd Integers. 47-48 BibTeX
Edsger W. Dijkstra: In Honour of Fibonacci. 49-50 BibTeX
Edsger W. Dijkstra: On the Foolishness of "Natural Language Programming". 51-53 BibTeX
Edsger W. Dijkstra: Program Inversion. 54-57 BibTeX
David Gries: The Schorr-Waite Graph Marking Algorithm. 58-69 BibTeX
David Gries: Eliminating the Chaff. 70-74 BibTeX

Program Verification

David Gries: Current Ideas in Programming Methodology. 77-93 BibTeX
David Gries: Basic Axiomatic Definitions. 94-99 BibTeX
David Gries: The Multiple Assignment Statement. 100-112 BibTeX
David Gries: Is Sometimes Ever Better Than Always? 113-124 BibTeX
James J. Horning: A Case Study in Language Design: Euclid. 125-132 BibTeX
Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. 133-163 BibTeX
James J. Horning: Verification of Euclid Programs. 164-173 BibTeX
Susan S. Owicki: Specifications and Proofs for Abstract Data Types in Concurrent Programs. 174-197 BibTeX
Susan S. Owicki: Specification and Verification of a Network Nail System. 198-234 BibTeX

Program Development by Transformation

Friedrich L. Bauer: Program Development by Stepwise Transformations - The Project CIP. Appendix: Programming Languages under Educational and under Professional Aspects. 237-272 BibTeX
Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner: Systematics of Transformation Rules. 273-289 BibTeX
Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer: Special Transformation Techniques. 290-321 BibTeX
Peter Pepper: A Study on Transformational Semantics. 322-405 BibTeX
Friedrich L. Bauer: Detailization and Lazy Evaluation, Infinite Objects and Pointer Representation. 406-420 BibTeX
Helmuth Partsch, Manfred Broy: Examples for Change of Types and Object Structures. 421-463 BibTeX
Michael Griffiths: Development of the Schorr-Waite Algorithm. 464-471 BibTeX
Susan L. Gerhart: A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm. 472-492 BibTeX

Special Language Considerations and Formal Tools

James J. Horning: Programming Languages for Reliable Computing Systems. 494-530 BibTeX
Michael Griffiths: Programming Methodology and Language Implications. 531-542 BibTeX
Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner: Towards a Wide Spectrum Language to Support Program Specification and Program Development. 543-552 BibTeX
Manfred Broy, Rupert Gnatz, Martin Wirsing: Semantics of Nondeterministic and Noncontinuous Constructs. 553-592 BibTeX
John V. Guttag: Notes on Type Abstraction. 593-616 BibTeX
Claude Pair: Some Theoretical Aspects of Program Construction. 617-651 BibTeX