Journal article

Precise goal-independent abstract interpretation of constraint logic programs

P Schachte

Theoretical Computer Science | ELSEVIER | Published : 2003