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
Keywords :
static analysis , Abstract interpretation , Occurs-check , Rational unification
Journal title :
Information and Computation
Journal title :
Information and Computation
