Progress in Theoretical Computer Science

Nondeterminism in Algebraic Specifications and Algebraic Programs

Authors: Hussmann

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-1-4684-6834-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $99.00
price for USA
  • ISBN 978-0-8176-3700-2
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Softcover $99.00
price for USA
  • ISBN 978-1-4684-6836-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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. Term rewriting methods are used in many prototyping systems and form the basis for executing specifi­ cations. Nondeterminism plays a major role in formal language theory; in programming it serves for delaying design decisions in program development and occurs in a "natural" way in formalisations of distributed processes. Heinrich Hussmann presents an elegant extension of equational specification and term rewriting to include nondeterminism. Based on a clean modeltheoretic semantics he considers term rewriting systems without confluence restrictions as a specification language and shows that fundamental properties such as the existence of initial models or the soundness and completeness of narrowing, the basic mechanism for executing equational specifications, can be extended to nondeterministic computations. The work of Heinrich Hussmann is an excellent contribution to Algebraic Programming; it gives a framework that admits a direct approach to program verification, is suitable for describing concurrent and distributed processes, and it can be executed as fast as Prolog.

Table of contents (9 chapters)

  • Introduction

    Hussmann, Heinrich

    Pages 1-15

  • Nondeterministic Algebraic Specifications

    Hussmann, Heinrich

    Pages 17-42

  • Specifications with a Deterministic Basis

    Hussmann, Heinrich

    Pages 43-74

  • Structure of the Model Classes

    Hussmann, Heinrich

    Pages 75-88

  • Nondeterministic Specifications as a General Framework

    Hussmann, Heinrich

    Pages 89-124

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-1-4684-6834-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $99.00
price for USA
  • ISBN 978-0-8176-3700-2
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Softcover $99.00
price for USA
  • ISBN 978-1-4684-6836-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Nondeterminism in Algebraic Specifications and Algebraic Programs
Authors
Series Title
Progress in Theoretical Computer Science
Copyright
1993
Publisher
Birkhäuser Basel
Copyright Holder
Birkhäuser Boston
eBook ISBN
978-1-4684-6834-2
DOI
10.1007/978-1-4684-6834-2
Hardcover ISBN
978-0-8176-3700-2
Softcover ISBN
978-1-4684-6836-6
Edition Number
1
Number of Pages
X, 254
Topics