%0 Journal Article
%A Dante, Baldan
%T Integrazione dell’interpretazione astratta in un compilatore Prolog basato sulla WAM. Appendice: Un passo verso una metodologia per lo sviluppo di programmi Mercury: una semantica dichiarativa per Mercury
%J Bollettino della Unione matematica italiana
%D 2000
%P 17-19
%V 3A
%N 1S
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a3/
%G it
%F BUMI_2000_8_3A_1S_a3