Geodesic
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 Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica

Voir la notice de l'article

@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},
     year = {2000},
     volume = {Ser. 8, 3A},
     number = {1S},
     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
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
%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/