Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution
Abstract elided by the publisher.
Related papers
- Computer Experiments with the Reve Term Rewriting System Generator POPL 1983
- On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis POPL 1990
- Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation SAS 2013
- Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems VMCAI 2022
- The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems ESOP 1990
- Regular language type inference with term rewriting ICFP 2020
- The Rewrite Engines Competitions: A RECtrospective TACAS 2019
- Reachability Analysis for Termination and Confluence of Rewriting TACAS 2019