Systematic design of program analysis frameworks

Keyphrases

• Compiler Verification 50%
• Data Flow Analysis 50%
• Formal Semantics 50%
• Invariant Assertions 50%
• Optimizing Compilers 50%
• Program Analysis 100%
• Program Verification 50%
• Semantic Analysis 50%
• Systematic Design 100%
• Verification System 50%

Computer Science

• Analysis Framework 100%
• Data Type 50%
• Data-Flow Analysis 50%
• Formal Semantics 50%
• Optimizing Compiler 50%
• Program Analysis 100%
• Program Verification 50%
• Verification System 50%