Mathematical methods in program development /
edited by Manfred Broy, Birgit Schieder.
- Berlin ; New York : Springer, 1997.
- viii, 528 p. ; 24 cm.
- NATO ASI series. Series F, Computer and systems sciences ; no. 158 .
- NATO ASI series. Computer and systems sciences ; no. 158. .
"Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso.
Includes bibliographical references.
Eliminating the Chaff - Again: Banquet Speech at Marktoberdorf 1996 / D. Gries -- Envoi at Marktoberdorf 1996 / C. A. R. Hoare -- E. W. Dijkstra -- Heuristics for a Very Simple Euclidean Proof -- Complete DAGs -- A Result of Rabbit Removal -- For the Record: Painting the Squared Plane -- The Marriage Agency -- Courtesy Dr. Birgit Schieder -- WLOG, or the Misery of the Unordered Pair -- My Simplest Theorem -- The Transitive Closure of a Wellfounded Relation -- The Formula for sin.([alpha] + [beta]) -- A Kind of Converse of Leibniz's Principle -- The Strengths of the Academic Enterprise -- W. H. J. Feijen and A. J. M. van Gasteren -- On a Method for the Formal Design of Multiprograms -- D. Gries -- Foundations for Calculational Logic -- J.-R. Abrial and L. Mussat -- Specification and Design of a Transmission Protocol by Successive Refinements Using B -- B. von Karger -- Formal Derivation of a Protocol in CSP -- F. L. Bauer -- Genesis of Algorithmic Languages -- M. Broy -- Mathematical Methods in System and Software Engineering -- C. A. R. Hoare -- Unified Theories of Programming -- K. Fisher and J. C. Mitchell -- On the Relationship Between Classes, Objects and Data Abstraction -- G. Smolka -- The Oz Programming Model -- A Foundation for Higher-order Concurrent Constraint Programming -- L. C. Paulson -- Tool Support for Logics of Programs -- N. Shankar -- Machine-Assisted Verification Using Theorem Proving and Model Checking.