Logo Logo
Hilfe
Hilfe
Switch Language to English

Hußmann, Heinrich (1993): Nondeterminism in algebraic specifications and algebraic programs. Boston/Basel/Berlin: Birkhäuser. [PDF, 15MB]

[thumbnail of oa_4258.pdf]
Vorschau
Download (15MB)

Abstract

"Nondeterminism in Algebraic Specifications and Algebraic Programs" presents a mathematical theory for the integration of three concepts: non-determinism, axiomatic specification and term rewriting. For non-deterministic programs, an algebraic specification language is provided which admits the application of automated tools based on term rewriting techniques. This general framework is used to explore connections between logic programming and algebraic programming. Examples from various areas of computer science are given, including results of computer experiments with a prototypical implementation. This book should be of interest to readers working within several fields of theoretical computer science, from algebraic specification theory to formal descriptions of distributed systems.

Dokument bearbeiten Dokument bearbeiten