Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica
Scozzari, Francesca
Bollettino dell'Unione Matematica Italiana, Tome 3-A (2000), p. 213-216 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

Publié le : 2000-04-01
@article{BUMI_2000_8_3A_1S_213_0,
     author = {Francesca Scozzari},
     title = {Teoria dei domini nell'interpretazione astratta: equazioni, completezza e logica},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {3-A},
     year = {2000},
     pages = {213-216},
     zbl = {1053.68579},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_2000_8_3A_1S_213_0}
}

Scozzari, Francesca. Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica. Bollettino dell'Unione Matematica Italiana, Tome 3-A (2000) pp. 213-216. http://gdmltest.u-ga.fr/item/BUMI_2000_8_3A_1S_213_0/

[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 1088258 | Zbl 0703.06007