CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
No abstract available.
Related papers
- A calculus with polymorphic and polyvariant flow types JFP 2002
- SPUR: a trace-based JIT compiler for CIL OOPSLA 2010
- The ruby intermediate language DLS 2009
- Toward a Complete Transformational Toolkit for Compilers TOPLAS 1997
- Optimizing the Four-Index Integral Transform Using Data Movement Lower Bounds Analysis PPoPP 2017
- Functioning without Closure: Type-Safe Customized Function Representations for Standard ML ICFP 2001
- NV: an intermediate language for verification of network control planes PLDI 2020
- Enhancing source-level programming tools with an awareness of transparent program transformations OOPSLA 2009