Source-tracking unification

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2741, Issue , 2003, Pages 458-472

  Choppella, Venkatesh ^a   Haynes, Christopher T ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; GRAPH THEORY; PROGRAM DEBUGGING; SEMANTICS; SET THEORY;

EMPTY THEORY; ILL-TYPED PROGRAMS; SOURCE-TRACKING INFORMATION; SOURCE-TRACKING UNIFICATION;

COMPUTATION THEORY;

EID: 7044268968     PISSN: 03029743     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ic.2004.10.013     Document Type: Article

References (0)