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

transition system specificationsrule priorities

Mathematics Subject Classification ID

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

Recommendations

• Publication:3805891
• 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

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

Cited in

(13)

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

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)