DeFacto: Language-Parametric Fact Extraction from Source Code
Abstract elided by the publisher.
Related papers
- Parametric Program Slicing POPL 1995
- Inference of static semantics for incomplete C programs POPL 2018
- Certifying derivation of state machines from coroutines POPL 2022
- PEDroid: Automatically Extracting Patches from Android App Updates ECOOP 2022
- Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper) ECOOP 2019
- One tool, many languages: language-parametric transformation with incremental parametric syntax OOPSLA 2018
- Checking Deadlock-Freedom of Parametric Component-Based Systems TACAS 2019
- Parametric Polymorphism for Java: A Reflective Solution OOPSLA 1998