|
Volumn , Issue , 2008, Pages 355-358
|
A specification language for static analysis of student exercises
|
Author keywords
AGG; Graph transformation; Java; Pattern matching; Static analysis
|
Indexed keywords
AGG;
APPLICATION AREAS;
CODE FRAGMENTS;
COMPLEX SEARCHES;
DESIGN PATTERNS;
ENGINEERING TECHNIQUES;
GRAPH TRANSFORMATION;
JAVA;
PROGRAMMING LANGUAGES;
REFACTORINGS;
SEARCH PATTERNS;
SUPPORT ENVIRONMENTS;
CODES (SYMBOLS);
COMPUTER PROGRAMMING;
COMPUTER SOFTWARE;
GRAPH THEORY;
LINGUISTICS;
PATTERN MATCHING;
SOFTWARE ENGINEERING;
SOLUTIONS;
SPECIFICATIONS;
STATIC ANALYSIS;
STUDENTS;
COMPUTER PROGRAMMING LANGUAGES;
|
EID: 56249093522
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/ASE.2008.47 Document Type: Conference Paper |
Times cited : (6)
|
References (7)
|