Programming and Mathematical Method International Summer School
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs as parts of distributed systems were included. Mathe...
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1992, 1992
|
| Edition: | 1st ed. 1992 |
| Series: | NATO ASI Subseries F:, Computer and Systems Sciences
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 1. Examples of Derivations
- On the Design of a Simple Proof for Morley’s Theorem
- Well-Foundedness and the Transitive Closure
- Designing the Proof of Vizing’s Theorem
- Phase Synchronization for Two Machines
- The Lexicographic Minimum of a Cyclic Array
- 2. Rules of Programming
- Metalevel Programming in Constructive Type Theory
- Laws of Programming
- Some Applications of Pointer Algebra
- Some Generalizations and Applications of Dijkstra’s Guarded Commands
- 3 Refinement and Program Composition
- A Theoryof Program Composition
- Lectures on Data Refinement
- Refinement Alerebra Proves Correctness of Compilation
- 4 Distributed Svstems
- Process Algebra with Signals and Conditions
- Functional Specification of Time Sensitive Communicating Systems
- Systematic Derivation of Communicating Programs