![]() |
Volumn 3576, Issue , 2005, Pages 291-295
|
TVOC: A translation validator for optimizing compilers
|
Author keywords
[No Author keywords available]
|
Indexed keywords
CODES (SYMBOLS);
COMPUTER AIDED LANGUAGE TRANSLATION;
COMPUTER PROGRAMMING;
OPTIMIZATION;
THEOREM PROVING;
SOURCE CODES;
TARGET CODES;
TVOC;
VERIFICATION PROGRAMS;
PROGRAM COMPILERS;
|
EID: 26444608451
PISSN: 03029743
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1007/11513988_29 Document Type: Conference Paper |
Times cited : (49)
|
References (10)
|