Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare (Nato Science Series C:, 91)

Long ago~ the welfare of a sooiety used to depend heavily on the skill and dedioation of its oraftsmen - the miller~ the blaok­ smith~ the oobbler and the tailor. These oraftsmen aoquired their skill by a long and poorly paid apprentioeship to some master of their oraft. They learned by imitation and experienoe~ and by tri­ al and error. They did not read books or study soienoe~ they knew nothing of the theory of their subjeot~ the geometry of their ru­ dimentary drawings~ nor the mathematios underlying their primitive oaloulations. They oould not explain how or why they used their methods; yet they worked effeotively by themselves or in small teams to oomplete their tasks at a predioted oost~ to a fairly well predioted timesoale~ and usually to the satisfaotion of their olients. The programmer of today shares many of these attributes of a oraftsman. He learns his oraft by apprentioeship in an existing team of programmers - but his apprentiaeship is highZy paid and usually very short. He develops his skill by trial; but mostly by error. He does not study theory~ or even read books on Computer Soience. He knows nothing of the logical and mathematical founda­ tions of his profession; and he hates to explain or justifY~ or even to dooument what he has done Front Matter....Pages i-xiii Front Matter....Pages 1-1 Smoothsort, an Alternative for Sorting in Situ....Pages 3-17 Lambek and Moser Revisited....Pages 19-23 A General Axiom of Assignment....Pages 25-34 Assignment and Linked Data Structures....Pages 35-41 A Proof of the Schorr-Waite Algorithm....Pages 43-51 Verification of Sequential Programs: Temporal Axiomatization....Pages 53-102 Specification and Derivation of Programs....Pages 103-133 Repaying Our Debts....Pages 135-141 Front Matter....Pages 143-143 Lectures on a Mathematical Theory of Computation....Pages 145-292 Semantic Models....Pages 293-325 Front Matter....Pages 327-327 Algebras, Theories and Freeness: An Introduction for Computer Scientists....Pages 329-349 An Analysis of Semantic Models for Algebraic Specifications....Pages 351-413 Front Matter....Pages 415-415 Fundamental Properties of Infinite Trees....Pages 417-471 Behaviors of Processes and Synchronized Systems of Processes....Pages 473-551 Front Matter....Pages 553-553 A Tutorial on the Split Binary Semaphore....Pages 555-564 A Fixed Point Approach to Applicative Multiprogramming....Pages 565-623 Discrete Event Simulation Based on Communicating Sequential Processes....Pages 625-642 Structure of an Operating System....Pages 643-658 Lecturers, M. Broy ... [et Al.] ; Edited By Manfred Broy And Gunther Schmidt. Papers Presented In 1981 At The Marktoberdorf Summer School On Theoretical Foundations Of Programming Methodology, Organized Under The Auspices Of The Technical University Munich And Sponsored By The Nato Science Committee Under The 1981 Advanced Study Institutes Program. Published In Cooperation With Nato Scientific Affairs Division. Includes Bibliographies. Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Münich and sponsored by the NATO Scientific Affairs Division, Germany, 1981 Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Munich and sponsored by the NATO Scientific Affairs Division, Germany, 1981