The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems
No abstract available.
Related papers
- Pattern Matching in AI Compilers and Its Formalization CGO 2025
- Lazy rewriting on eager machinery TOPLAS 2000
- The Rewrite Engines Competitions: A RECtrospective TACAS 2019
- Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories JFP 2001
- Geo: A Query Rewrite Framework for Graph Pattern Mining OOPSLA 2026
- Optimizing homomorphic evaluation circuits by program synthesis and term rewriting PLDI 2020
- Building Program Optimizers with Rewriting Strategies ICFP 1998
- Higher Order Patterns for Rewrite Rules Haskell 2024