Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting

  title={Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting},
  author={Heinrich Hu\ssmann},
  journal={J. Log. Program.},
Algebraic specifications are generalized to the case of nondeterministic operations by admitting models with set-valued functions (multi-algebras). General (in particular, non-confluent) term rewriting systems are studied as a specification language for this semantic framework. A calculus for nondeterministic specifications is given which is similar to erm rewriting but which employs an additional determinacy predicate. Correctness, ground completeness and initiality results are given. Small… CONTINUE READING