bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 3-A (2000), n. 1S -> pp. 213-216

Referenza completa

Scozzari, Francesca:
Teoria dei domini nell’interpretazione astratta: equazioni, completezza e logica
Bollettino dell'Unione Matematica Italiana Serie 8 3-A (2000) —La Matematica nella Società e nella Cultura, fasc. n.1S, p. 213-216, Unione Matematica Italiana (Italian)
pdf (223 Kb), djvu (68 Kb). | Zbl 1053.68579

Referenze Bibliografiche
[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
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 3-A (2000), n. 1S -> pp. 213-216

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali