Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
This volume contains the proceedings of the NATO-sponsored Advanced Research Study Institute on Logic of Programming and Calculi of Discrete Design, held in continuation of the series of well-known summer schools in Marktoberdorf, July 29-August 10, 1986. The proceedings give an excellent overview o...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1987.
|
| Series: | NATO ASI series. Computer and systems sciences ;
36. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Contents: Programming Calculi: R.S. Bird: An Introduction to the Theory of Lists. E.W. Dijkstra: A Heuristic Explanation of Batcher's Baffler. E.C.R. Hehner, L.E. Gupta, A.J. Malton: Predicative Methodology. E.C.R. Hehner, A.J. Malton: Termination Conventions and Comparative Semantics. E.C.R. Hehner: Predicative Communications. J.A. Robinson: Notes on Logic Programming
- Specification and Verification Calculi: C.B. Jones: Program Specification and Verification in VDM. M. Broy: Equational Specification of Partial Higher Order Algebras. E.W. Dijkstra: Extreme Solutions of Equations. E.C.R. Hehner: Logic Based on Programming. C.A.R. Hoare: Algebraic Specifications and Proofs for Communicating Sequential Processes
- Design and Construction Calculi: G. Huet: Deduction and Computation. M. Sintzoff: Expressing Program Developments in a Design Calculus. G. Winskel: Models and Logics of MOS Circuits
- List of Lecturers.