Conference Proceedings

AN APPLICATION OF ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - OCCUR CHECK REDUCTION

H SONDERGAARD

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER VERLAG | Published : 1986