A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems

@inproceedings{RodrguezHortal2008AHO,
  title={A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems},
  author={Juan Rodr{\'i}guez-Hortal{\'a}},
  booktitle={FSTTCS},
  year={2008}
}
Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewriting systems where confluence is not required. In this paper we examine three concrete possible semantics for nondeterminism that can be assigned to those programs. Two of them –call-time choice and run-time choice– are quite well-known, while the third one –plural semantics– is investigated for the first time in the context of… CONTINUE READING