Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting

@article{Humann1992NondeterministicAS,
  title={Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting},
  author={Heinrich Hu\ssmann},
  journal={J. Log. Program.},
  year={1992},
  volume={12},
  pages={237-255}
}
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