Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Researchers
Research Organisation
Publications
Projects
Press/Media
Activities
Prizes
Search by expertise, name or affiliation
Foundational Analysis Techniques for High-Level Transformation Programs
Ahmad Salim Al-Sibahi
Software Quality Research
Computer Science
Research output
:
Book / Anthology / Report / Ph.D. thesis
›
Ph.D. thesis
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Foundational Analysis Techniques for High-Level Transformation Programs'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
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%