Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Link åbnes i en ny fane
Dansk
English
Søg efter indhold i IT-Universitetet i København
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Foundational Analysis Techniques for High-Level Transformation Programs
Ahmad Salim Al-Sibahi
Software Quality Research (SQUARE)
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Foundational Analysis Techniques for High-Level Transformation Programs'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
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%
Pattern Matching
50%
Model Transformation
50%
Interpreter
50%
Modernization Project
50%
Test Generation
50%
Systematic Analysis
50%
Programming Language
50%