Browsing by Subject "Program analysis"

Now showing items 1-2 of 2

    • Lifting the Abstraction Level of Compiler Transformations 
      Tang, Xiaolong (2013-08-08)
      Production compilers implement optimizing transformation rules for built-in types. What justifies applying these optimizing rules is the axioms that hold for built-in types and the built-in operations supported by these ...
    • Traversal, Case Analysis, and Lowering for C++ Program Analysis 
      Wagner, Luke A. (2010-01-14)
      To work effectively, programmers need tools to support their typical development activities, such as the creation, analysis, and transformation of source code. Analysis and transformation tools can be difficult to write ...