Theoretical Foundations of Programming Methodology [E-Book] : Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare / edited by Manfred Broy, Gunther Schmidt.
Saved in:
Full text |
|
Personal Name(s): | Broy, Manfred, editor |
Schmidt, Gunther, editor | |
Imprint: |
Dordrecht :
Springer,
1982
|
Physical Description: |
672p. online resource. |
Note: |
englisch |
ISBN: |
9789400978935 |
DOI: |
10.1007/978-94-009-7893-5 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences ;
91 |
Subject (LOC): |
- 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.