Combined determination of sharing and freeness of program variables through abstract interpretation

Volumn , Issue , 1991, Pages 49-63

  Muthukumar, K ^a   Hermenegildo, M ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTER SOFTWARE; DATA PROCESSING; INFERENCE ENGINES; PROGRAM INTERPRETERS;

ABSTRACT INTERPRETATION; ABSTRACT INTERPRETATION ALGORITHMS; ABSTRACT INTERPRETER; SHARING/FREENESS OF PROGRAM VARIABLES;

LOGIC PROGRAMMING;

EID: 0026297066     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)