Flow Analysis of Code Customizations
No abstract available.
Related papers
- Bitwidth customization in image processing pipelines using interval analysis and SMT solvers CC 2020
- Java-to-JavaScript translation via structured control flow reconstruction of compiler IR DLS 2015
- ATOM - A System for Building Customized Program Analysis Tools PLDI 1994
- Clog: A Declarative Language for C Static Code Checkers CC 2024
- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios CAV 2021
- Monitoring aspects for the customization of automatically generated code for big-step models GPCE 2011
- Functioning without Closure: Type-Safe Customized Function Representations for Standard ML ICFP 2001
- Javana: a system for building customized Java program analysis tools OOPSLA 2006