Conference Proceedings

Abstract interpretation of logic programs: The denotational approach

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

Universita di Padova | Published : 1990