Foundational Analysis Techniques for High-Level Transformation Programs

Keyphrases

• Transformation Languages 100%
• High-grade Transformation 100%
• RASCAL 100%
• Operational Semantics 40%
• Refactoring 40%
• Symbolic Execution 40%
• Verification Tool 40%
• Prototyping Tools 20%
• Pattern Matching 20%
• Traversal 20%
• Model Transformation 20%
• Turing Complete 20%
• Expressiveness 20%
• Translation Validation 20%
• Automated Verification 20%
• Schmidt 20%
• Test Generation Tools 20%
• Black-box Testing 20%
• Test Case Generator 20%
• Test Coverage 20%
• Shape Properties 20%
• Specialized Language 20%
• Automated Validation 20%
• Strong Typing 20%
• Domain Design 20%
• Memoization 20%
• Instrument Validation 20%
• Language Constructs 20%
• Abstract Domains 20%
• Programming Language Research 20%
• Abstract Interpreters 20%
• Semantic Properties 20%
• Joint Efforts 20%
• Industrial Modernization 20%
• Largest Subset 20%
• Infinite Domain 20%

Computer Science

• Operational Semantics 100%
• Refactoring 100%
• Program Transformation 100%
• Analysis Technique 100%
• Symbolic Execution 100%
• Programming Language 50%
• Pattern Matching 50%
• Model Transformation 50%
• Interpreter 50%
• Modernization Project 50%
• Test Generation 50%
• Systematic Analysis 50%