Verification of Program Transformations with Inductive Refinement Types

Keyphrases

• Pattern Matching 100%
• Traversal 100%
• Program Transformation 100%
• Abstract Interpretation 100%
• Program Verification 100%
• Refinement Types 100%
• Operational Semantics 50%
• Inductive Types 50%
• Type Inference 50%
• First-in-class 50%
• Refactoring 50%
• Transformation Languages 50%
• High-grade Transformation 50%
• Abstract Syntax Tree 50%
• Desugaring 50%
• Iterator 50%
• Shape Properties 50%
• RASCAL 50%
• Code Generator 50%
• Interpretation Tools 50%

Computer Science

• Pattern Matching 100%
• Program Transformation 100%
• Abstract Interpretation 100%
• Operational Semantics 50%
• Type Inference 50%
• Abstract Syntax Tree 50%
• Backtracking 50%
• Code Generator 50%