Conference Proceedings

Bottom-up abstract interpretation of logic programs

K Marriott, H SONDERGAARD, RA Kowalski (ed.), KA Bowen (ed.)

MIT Press | Published : 1988

University of Melbourne Researchers