Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica
Bollettino dell'Unione Matematica Italiana (2000)
- Volume: 3-A, Issue: 1S, page 213-216
- ISSN: 0392-4041
Access Full Article
top
Abstract
topHow to cite
topScozzari, Francesca. "Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica." Bollettino dell'Unione Matematica Italiana 3-A.1S (2000): 213-216. <http://eudml.org/doc/260999>.
@article{Scozzari2000,
abstract = {},
author = {Scozzari, Francesca},
journal = {Bollettino dell'Unione Matematica Italiana},
language = {ita},
month = {4},
number = {1S},
pages = {213-216},
publisher = {Unione Matematica Italiana},
title = {Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica},
url = {http://eudml.org/doc/260999},
volume = {3-A},
year = {2000},
}
TY - JOUR
AU - Scozzari, Francesca
TI - Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica
JO - Bollettino dell'Unione Matematica Italiana
DA - 2000/4//
PB - Unione Matematica Italiana
VL - 3-A
IS - 1S
SP - 213
EP - 216
AB -
LA - ita
UR - http://eudml.org/doc/260999
ER -
References
top- 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.
- 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.
- FILÉ, G., GIACOBAZZI, R. e RANZATO, F., A unifying view of abstract domain design, ACM Computing Surveys, 28(2) (1996), 333-336.
- ROSENTHAL, K. I., Quantales and their Applications, Longman Scientific and Technical (1990). Zbl0703.06007MR1088258
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.