Book Chapter

Meta-circular abstract interpretation in prolog

M Codish, H Sondergaard, TE Mogensen, DA Schmidt, IH Sudborough

Lecture Notes in Artificial Intelligence | SPRINGER-VERLAG BERLIN | Published : 2002