Conference Proceedings
Abstract interpretation of logic programs: The denotational approach
K Marriott, H SONDERGAARD, A Bossi (ed.)
Universita di Padova | Published : 1990
Conference Proceedings
K Marriott, H SONDERGAARD, A Bossi (ed.)
Universita di Padova | Published : 1990