Geodesic
Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica
Bollettino della Unione matematica italiana, Série 8, 3A (2000) no. 1S, pp. 213-216.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{BUMI_2000_8_3A_1S_a52,
     author = {Scozzari, Francesca},
     title = {Teoria dei domini nell{\textquoteright}interpretazione astratta: equazioni, completezza e logica},
     journal = {Bollettino della Unione matematica italiana},
     pages = {213--216},
     publisher = {mathdoc},
     volume = {Ser. 8, 3A},
     number = {1S},
     year = {2000},
     zbl = {1053.68579},
     mrnumber = {1088258},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a52/}
}
TY  - JOUR
AU  - Scozzari, Francesca
TI  - Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica
JO  - Bollettino della Unione matematica italiana
PY  - 2000
SP  - 213
EP  - 216
VL  - 3A
IS  - 1S
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a52/
LA  - it
ID  - BUMI_2000_8_3A_1S_a52
ER  - 
%0 Journal Article
%A Scozzari, Francesca
%T Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica
%J Bollettino della Unione matematica italiana
%D 2000
%P 213-216
%V 3A
%N 1S
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a52/
%G it
%F BUMI_2000_8_3A_1S_a52
Scozzari, Francesca. Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica. Bollettino della Unione matematica italiana, Série 8, 3A (2000) no. 1S, pp. 213-216. http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a52/

[1] Cousot P. e Cousot R., Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, Conference Record of the 4th ACM Symposium on Principles of Programming Languages (POPL ’77) (1977), 238-252.

[2] Cousot P. e Cousot R., Systematic design of program analysis frameworks, Conference Record of the 6th ACM Symposium on Principles of Programming Languages (POPL ’79) (1979), 269-282.

[3] Filé G., Giacobazzi R. e Ranzato F., A unifying view of abstract domain design, ACM Computing Surveys, 28(2) (1996), 333-336.

[4] Rosenthal K. I., Quantales and their Applications, Longman Scientific and Technical (1990). | MR | Zbl