Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica
@article{BUMI_2000_8_3A_1S_a3,
author = {Dante, Baldan},
title = {Integrazione dell{\textquoteright}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}},
journal = {Bollettino della Unione matematica italiana},
pages = {17--19},
publisher = {mathdoc},
volume = {Ser. 8, 3A},
number = {1S},
year = {2000},
zbl = {1053.68559},
language = {it},
url = {http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a3/}
}
TY - JOUR AU - Dante, Baldan TI - 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 JO - Bollettino della Unione matematica italiana PY - 2000 SP - 17 EP - 19 VL - 3A IS - 1S PB - mathdoc UR - http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a3/ LA - it ID - BUMI_2000_8_3A_1S_a3 ER -
%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
Dante, Baldan. 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. Bollettino della Unione matematica italiana, Série 8, 3A (2000) no. 1S, pp. 17-19. http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a3/