Title of article
Finite-tree analysis for constraint logic-based languages
Author/Authors
Roberto Bagnara، نويسنده , , Roberta Gori، نويسنده , , Patricia M. Hill، نويسنده , , Enea Zaffanella، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
33
From page
84
To page
116
Keywords
static analysis , Abstract interpretation , Occurs-check , Rational unification
Journal title
Information and Computation
Serial Year
2004
Journal title
Information and Computation
Record number
262251
Link To Document