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
Will be published approx. on 31. July 1982
Book
Hardback
672 pages
978-90-277-1460-2 (ISBN)
Description
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
More details
Series
Edition
1982 ed.
Language
English
Place of publication
Dordrecht
Netherlands
Publishing group
Springer
Target group
College/higher education
Professional and scholarly
Research
Product notice
sewn/stitched
Cloth over boards
Illustrations
672 p.
Dimensions
Height: 0 mm
Width: 0 mm
Weight
1190 gr
ISBN-13
978-90-277-1460-2 (9789027714602)
DOI
10.1007/978-94-009-7893-5
Schweitzer Classification
Other editions
Additional editions
M. Broy | Günther Schmidt
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
E-Book
12/2012
Springer
€53.49
Available for download
M. Broy | Günther Schmidt
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
Book
07/1982
Kluwer Academic Publishers
€53.49
Shipment within 15-20 days
Content
I: Program Development and Verification.- Smoothsort, an Alternative for Sorting in Situ.- Lambek and Moser Revisited.- A General Axiom of Assignment.- Assignment and Linked Data Structures.- A Proof of the Schorr-Waite Algorithm.- Verification of Sequential Programs: Temporal Axiomatization.- Specification and Derivation of Programs.- Repaying Our Debts.- II: Denotational Semantics.- Lectures on a Mathematical Theory of Computation.- Semantic Models.- III: Abstract Data Types.- Algebras, Theories and Freeness: An Introduction for Computer Scientists.- An Analysis of Semantic Models for Algebraic Specifications.- IV: Infinite Structures.- Fundamental Properties of Infinite Trees.- Behaviors of Processes and Synchronized Systems of Processes.- V: Concurrent Programs.- A Tutorial on the Split Binary Semaphore.- A Fixed Point Approach to Applicative Multiprogramming.- Discrete Event Simulation Based on Communicating Sequential Processes.- Structure of an Operating System.