Search results>Research output from Elsevier - Publisher Connector
journal article
oaidoi:10.1016/S0304-3975(97)00283-1

Operational semantics of rewriting with priorities

Authors
Publication date
28 June 1998
Publisher
Published by Elsevier B.V.
Doi

    Abstract

    AbstractWe 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

    Similar works

    Full text

    Elsevier - Publisher Connector

    redirect
    oaidoi:10.1016/S0304-3975(97)0028...
    Last time updated on 05/05/2017

    This paper was published in Elsevier - Publisher Connector .

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.