Operational semantics of rewriting with priorities

J.C. Pol, van de

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)

Abstract

We study the semantics of term rewriting systems with rule priorities (PRS), as introduced in Baeten et al. (1989). Three open problems posed in that paper are solved, by giving counter examples. Moreover, a class of executable PRSs is identified. A translation of PRSs into transition system specifications (TSS) is given. This translation introduces negative premises. We prove that the translation preserves the operational semantics.
Original languageEnglish
Pages (from-to)289-312
JournalTheoretical Computer Science
Volume200
Issue number1-2
DOIs
Publication statusPublished - 1998

Fingerprint Dive into the research topics of 'Operational semantics of rewriting with priorities'. Together they form a unique fingerprint.

  • Cite this