Conference Proceedings

Bottom-up abstract interpretation of logic programs

K Marriott, H SONDERGAARD, RA Kowalski, KA Bowen

MIT Press | Published : 1988