All listings for this product
About this product
- DescriptionAlgebraic specification, ndeterminism 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 ndeterminism. 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 ndeterministic 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.
- Date of Publication22/03/2012
- FormatPaperback / softback
- Series TitleProgress in Theoretical Computer Science
- Country of PublicationUnited States
- Content Noteblack & white illustrations, bibliography
- Weight381 g
- Width156 mm
- Height234 mm
- Spine14 mm
- Format DetailsTrade paperback (US),Unsewn / adhesive bound
Best-selling in Non-Fiction Books
Save on Non-Fiction Books
- AU $57.99Trending at AU $62.11
- AU $34.69Trending at AU $36.61
- AU $73.14Trending at AU $74.82
- AU $50.28Trending at AU $53.01
- AU $31.88Trending at AU $40.50
- AU $37.59Trending at AU $40.09
- AU $34.15Trending at AU $35.14
This item doesn't belong on this page.
Thanks, we'll look into this.