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.

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},
     mrnumber = {1401924},
     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/

[1] Cousot P. e Cousot R., Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, ACM Press, New York, (January 1977) 238-252.

[2] Le Charlier B. e Van Hentenryck P., Experimental evaluation of a generic abstract interpretationalgorithm for PROLOG, ACM Transactions on Programming Languages and Systems, 16(1), (January 1994), 35-101.

[3] Lindgren T. Polyvariant Detection Of Uninitialized Arguments Of Prolog Predicates, Journal of Logic Programming, 28(3), (September 1996), 217-229. | DOI | MR | Zbl

[4] Van Roy P., Can Logic Programming Execute as Fast as Imperative Programming, PhD thesis, Computer Science Division, University of California Berkeley, (December 1990).

[5] Warren D. H. D., An Abstract PROLOG Instruction Set, Technical Report 309, Artificial Intelligence Center, Computer Science and Technology Division, SRI International, Menlo Park, CA, (October 1983).