Conference Proceedings

Abstract interpretation of logic programs: The denotational approach

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

Universita di Padova | Published : 1990

University of Melbourne Researchers

Harald Sondergaard Author Computing and Information Systems