|
|
Volumn , Issue , 1993, Pages 47-58
|
|
Binding-time analysis and the taming of C pointers
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
C (PROGRAMMING LANGUAGE);
COMPUTATIONAL LINGUISTICS;
DATA STRUCTURES;
PROGRAM PROCESSORS;
PROGRAMMING THEORY;
AUTOMATIC BINDING TIME ANALYSIS;
BINDING TIMES;
EXPLICIT SEPARATION;
NORMALIZATION RULES;
PARTIAL EVALUATORS;
POINTERS;
SEMANTICS;
SPECIALIZATION;
TWO LEVEL C LANGUAGE;
WELL ANNOTATEDNESS RULES;
PROGRAM DIAGNOSTICS;
|
|
EID: 0027794575
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/154630.154636 Document Type: Conference Paper |
|
Times cited : (23)
|
|
References (18)
|
