A Rewriting Logic for Declarative Programming
Abstract elided by the publisher.
Related papers
- A Logical Theory of Concurrent Objects OOPSLA 1990
- The whiley rewrite language (WyRL) SLE 2015
- Rewriting for sound and complete union, intersection and negation types GPCE 2017
- Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne ESOP 2013
- Automated Analysis of Logically Constrained Rewrite Systems using crest TACAS 2025
- Pattern Matching in AI Compilers and Its Formalization CGO 2025
- Lightweight multi-language syntax transformation with parser parser combinators PLDI 2019
- Reference attribute grammar controlled graph rewriting: motivation and overview SLE 2015