Comparison of priority rules in pattern matching and term rewriting

DOI10.1016/S0747-7171(08)80109-5zbMath0731.68059MaRDI QIDQ808264

Alain Laville

Publication date: 1991

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

pattern matchingpriority rulesfunction calls

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Grammars and rewriting systems (68Q42)

Related Items (2)

Operational semantics of rewriting with priorities ⋮ More efficient left-to-right matching for overlapping pattern

Uses Software

• Miranda
• Centaur

Cites Work

• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Comparison of priority rules in pattern matching and term rewriting