|
|
|
Volumn 24, Issue 3, 2000, Pages 355-369
|
|
Two-dimensional approximation coverage
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
COMPUTER SOFTWARE SELECTION AND EVALUATION;
DATA STRUCTURES;
PASCAL (PROGRAMMING LANGUAGE);
PROGRAM COMPILERS;
SOFTWARE ENGINEERING;
ABSTRACT INTERPRETATION SCHEME;
APPROXIMATION COVERAGE;
ATTRIBUTE GRAMMARS;
DECLARATIVE PROGRAMMING;
PROGRAM TESTING;
CONTEXT FREE GRAMMARS;
|
|
EID: 0034264806
PISSN: 03505596
EISSN: None
Source Type: Journal
DOI: None Document Type: Article |
|
Times cited : (29)
|
|
References (30)
|
