Initial Computability Algebraic Specifications and Partial Algebras ( International Series of Monographs on Computer Science)

Reichel, Horst

ISBN 10: 0198538065 / ISBN 13: 9780198538066

Verlag: Clarendon Press; Oxford Science Publcations, Oxford, England, 1987

First Edition, First Printing; 221 clean, unmarked pages; black c w/gilt titles. Bestandsnummer des Verkäufers 018983

Inhaltsangabe:

One of the first detailed expositions of partial algebras, this book develops a special theory of partial algebras as a powerful foundation of a model theoretic, initial semantics of algebraic specification languages. Professor Reichel explores the possibility of increasing the use of partial algebras, particularly in computer science. He presents examples of algebraic specifications of increasing complexity and proves that structural induction can yield a complete calculus of abstract programs on parameterized abstract data types. Finally, he extends the model-theoretic initial semantics of abstract data types with partial operations to behavioral semantics.

Bibliografische Details

Titel: Initial Computability Algebraic ...
Verlag: Clarendon Press; Oxford Science Publcations, Oxford, England
Erscheinungsdatum: 1987
Einband: Hardcover
Zustand: Near Fine
Zustand des Schutzumschlags: No Jacket as Issued
Auflage: 1st