Conference Proceedings

Abstract interpretation of logic programs: The denotational approach

K Marriott, H SONDERGAARD, A Bossi (ed.)

Proceedings of the Fifth Italian Conference on Logic Programming | Universita di Padova | Published : 1990

University of Melbourne Researchers