A Programmable ANSI C Transformation Engine
No abstract available.
Related papers
- Bug-Assist: Assisting Fault Localization in ANSI-C Programs CAV 2011
- A Tool for Checking ANSI-C Programs TACAS 2004
- SATABS: SAT-Based Predicate Abstraction for ANSI-C TACAS 2005
- Implementation of the memory-safe full ANSI-C compiler PLDI 2009
- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations CC 2014
- Optimizing an ANSI C Interpreter with Superoperators POPL 1995
- A study of evaluation order semantics in expressions with side effects JFP 2000
- Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations CAV 2026