|
|
Volumn , Issue , 1997, Pages 316-331
|
|
Types as abstract interpretations
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
COMPUTATIONAL LINGUISTICS;
COMPUTER PROGRAMMING LANGUAGES;
ERRORS;
HIERARCHICAL SYSTEMS;
MATHEMATICAL MODELS;
RECURSIVE FUNCTIONS;
ABSTRACT INTERPRETATIONS;
DENOTATIONAL SEMANTICS;
INFERENCE ALGORITHMS;
SYNTAX;
PROGRAMMING THEORY;
|
|
EID: 0030681155
PISSN: 07308566
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/263699.263744 Document Type: Conference Paper |
|
Times cited : (119)
|
|
References (41)
|
