Implementation and Examples

  • Heinrich Hussmann
Part of the Progress in Theoretical Computer Science book series (PTCS)


For the practical use of a specification language, algorithmic support is essential. Software tools can be used for instance to test a given specification against informal requirements, to generate test data for an implementation, or to generate (semi-)automatically formal proofs for propositions over a specification. Below it is shown that existing tools for term rewriting can be used for experiments with nondeterministic specifications.


Directed Acyclic Graph Input Symbol Ground Term Classical Term Generate Test Data 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Boston 1993

Authors and Affiliations

  • Heinrich Hussmann
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Germany

Personalised recommendations