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.
Cited By
- Sellis T, Davidson S and Ives Z (2015). Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, 10.1145/2723372, Online publication date: 27-May-2015.
- Alexandrov A, Kunft A, Katsifodimos A, Schüler F, Thamsen L, Kao O, Herb T and Markl V Implicit Parallelism through Deep Language Embedding Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, (47-61)
Recommendations
Abstract computability and algebraic specification
Abstract computable functions are defined by abstract finite deterministic algorithms on many-sorted algebras. We show that there exist finite universal algebraic specifications that specify uniquely (up to isomorphism) (i) all abstract computable ...