Operational semantics of rewriting with priorities

DOI10.1016/S0304-3975(97)00283-1MaRDI QIDQ1276259zbMATH OpenOpenAlexFDO

Authors Jaco van de Pol

Publication date 20 January 1999

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(97)00283-1

zbMATH Keywords

rule prioritiestransition system specifications

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4074466
• Semantics and strong sequentiality of priority term rewriting systems
• Semantics and strong sequentially of priority term rewriting systems
• Priority rewriting: Semantics, confluence, and conditionals
• Term rewriting systems with sort priorities

Cites work

• Comparison of priority rules in pattern matching and term rewriting
• scientific article; zbMATH DE number 177788 (Why is no real title available?)
• scientific article; zbMATH DE number 2102773 (Why is no real title available?)
• Priority rewriting: Semantics, confluence, and conditionals
• Term-rewriting systems with rule priorities
• The meaning of negative premises in transition system specifications

Cited in

(14)

• Semantics and expressiveness of ordered SOS
• Generating priority rewrite systems for OSOS process languages
• Semantics and strong sequentiality of priority term rewriting systems
• Rooted branching bisimulation as a congruence
• Weighted operator precedence languages
• Structural operational semantics with first-order logic
• A congruence rule format with universal quantification
• Termination of Priority Rewriting
• scientific article; zbMATH DE number 4074466 (Why is no real title available?)
• Term rewriting systems with sort priorities
• Priority rewriting: Semantics, confluence, and conditionals
• Semantics and strong sequentially of priority term rewriting systems
• Priority rewrite systems for OSOS process languages.
• On the expressibility of priority

This page was built for publication: Operational semantics of rewriting with priorities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1276259)