Formal Description of Programming Concepts

ISBN-13: 9783540539612 / Angielski / Twarda / 1991 / 508 str.

Erich J. Neuhold; Manfred Paul; K. R. Apt

Opis

This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs.

Spis treści

Contents: P.D. Mosses: A Practical Introduction to Denotational Semantics.- E. Astesiano: Inductive and Operational Semantics.- D. Bjorner: Specification and Transformation: Methodology Aspects of the Vienna Development Method.- M. Wirsing: Algebraic Specification: Semantics, Parameterization and Refinement.- M. Broy: Formalization of Distributed, Concurrent, Reactive Systems.- K.R. Apt, E.-R. Olderog: Introduction to Program Verification.- L. Cardelli: Typeful Programming.