Cover Image

Program design calculi /

Show other versions (1)

The development of information processing systems requires models, calculi, and theories for the analysis of computations. Complex software systems are best constructed in a careful, systematic, and disciplined structuring of the development process. Starting from basic requirement specifications in...

Full description

Bibliographic Details
Corporate Authors: SpringerLink (Online service), North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on Program Design Calculi
Other Authors: Broy, M., 1949-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1993]
Series:NATO ASI series. Computer and systems sciences ; no. 118.
Subjects:
System design > Congresses.
calcul conception.
conception logiciel.
programmation fonctionnelle.
calcul formel.
raffinement.
Programmatuurtechniek.
Ordinateurs > Programmation > Congrès.
System design.
Computers > Design
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • The Refinement Calculus / Carroll Morgan
  • Refinement Calculus, Lattices, and Higher Order Logic / R.J.R. Back
  • Refinement of Parallel and Reactive Systems / R.J.R. Back
  • Data Refinement and the Transform / David Gries
  • (Inter- )Action Refinement: The Easy Way / Manfred Broy
  • Algebra and Models / C.A.R. Hoare
  • The Unification of Three Calculi / Edsger W. Dijkstra
  • Monads for Functional Programming / Philip Wadler
  • How Hard Is It to Reason About Propositional Programs? / David Harel
  • A Temporal Proof Methodology for Reactive Systems / Zohar Manna and Amir Pnueli
  • Timed Process Algebras: A Tutorial / Matthew Hennessy
  • The Semantics of Pure Esterel / Gerard Berry.