Nondeterminism in Algebraic Specifications and Algebraic Programs (Progress in Theoretical Computer Science) - Hardcover

Hussmann

 
9780817637002: Nondeterminism in Algebraic Specifications and Algebraic Programs (Progress in Theoretical Computer Science)
Hardcover
ISBN 10: 0817637001 ISBN 13: 9780817637002
Publisher: Birkhauser Boston Inc, 1993

Synopsis

Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software systems: Algebraic specifications are well-suited for describing data structures and sequential software systems in an abstract way.

"synopsis" may belong to another edition of this title.

Synopsis

"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.

"About this title" may belong to another edition of this title.

Publisher
Birkhauser Boston Inc
Publication date
1993
Language
English
ISBN 10 
0817637001
ISBN 13 
9780817637002
Binding
Hardcover
Number of pages
264

Other Popular Editions of the Same Title

9781468468366: Nondeterminism in Algebraic Specifications and Algebraic Programs (Progress in Theoretical Computer Science)

Featured Edition

ISBN 10:  1468468367 ISBN 13:  9781468468366
Publisher: Birkhäuser, 2012
Softcover