Tiger - An Interpreter Generation Tool
Abstract elided by the publisher.
Related papers
- A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter CC 1994
- Interactive parser synthesis by example PLDI 2015
- TOOLS: a unifying approach to object-oriented language interpretation PLDI 1987
- TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis TOPLAS 2013
- A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs TOPLAS 1993
- Interpretation-Based Violation Witness Validation for C: NITWIT TACAS 2020
- Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata CAV 2016
- Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance GPCE 2023