Title of article
Source-tracking unification
Author/Authors
Venkatesh Choppella، نويسنده , , Christopher T. Haynes، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
39
From page
121
To page
159
Keywords
Algorithms , Debugging , graph theory , Path problems , Logic programming , Type inference , Termunification , formal languages
Journal title
Information and Computation
Serial Year
2005
Journal title
Information and Computation
Record number
262304
Link To Document