The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.
Author(s): Hartmut Ehrig, Bernd Mahr
Series: EATCS Monographs on Theoretical Computer Science 6
Publisher: Springer
Year: 1985
Language: English
Pages: 332
Tags: Logics and Meanings of Programs; Computation by Abstract Devices; Programming Languages, Compilers, Interpreters; Software Engineering; Algebra
Front Matter....Pages I-XI
Introduction....Pages 1-8
Equational Specifications and Algebras....Pages 9-31
Specification of Abstract Data Types....Pages 32-61
Initial Semantics of Specifications....Pages 62-88
Specificability and Characterization of Equational Classes....Pages 89-107
Equational Calculus and Term Rewriting....Pages 108-137
Correctness and Extension of Specifications....Pages 138-167
Parameterized Specifications and Functors....Pages 168-200
Parameter Passing....Pages 201-244
Concepts of a Specification Language....Pages 245-272
Semantics of the Specification Language ACT ONE....Pages 273-306
Back Matter....Pages 307-321
