Constructive Methods in Computing Science International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive m...
Other Authors: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1989, 1989
|
Edition: | 1st ed. 1989 |
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:
- A Visionary Decision (After-dinner Speech)
- I Constructive Logic and Type Theory
- Constructive Type Theory — An Introduction
- Assigning Meaning to Proofs: A Semantic Basis for Problem Solving Environments
- The Addition of Bounded Quantification and Partial Functions to a Computational Logic and Its Theorem Prover
- II Design Calculi
- Lectures on Constructive Functional Programming
- On a Problem Transmitted by Doug McIlroy
- A Computing Scientist’s Approach to a Once-deep Theorem of Sylvester’s
- The Derivation of a Proof by J. C. S. P. van der Woude
- Notes on an Approach to Category Theory for Computer Scientists
- III Specification, Construction, and Verification Calculi for Distributed Systems
- Towards a Design Methodology for Distributed Systems
- Specifying Distributed Systems
- A Foundation of Parallel Programming
- Design of Synchronization Algorithms