Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis

Volumn , Issue , 1991, Pages 79-93

  Codish, Michael ^a   Dams, Dennis ^a   Yardeni, Eyal ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; PROGRAM INTERPRETERS; PROGRAMMING THEORY; THEOREM PROVING;

ABSTRACT UNIFICATION ALGORITHM; ABSTRACTION; ALIASING; GROUNDNESS; SHARING INFORMATION;

LOGIC PROGRAMMING;

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

References (12)