The concept of abstract interpretation was introduced by Patrick and Radhia Cousot [1977, 1979] in order to formal- ize static program analyses. Within this framework, our goal is to offer a unify- ing view on operators for enhancing and simplifying abstract domains. Enhanc- ing and simplifying operators are viewed, respectively, as domain refine- ments and inverses of domain refine- ments. This new unifying viewpoint makes both the understanding and the design of operators on abstract domains much simpler.

A unifying view of abstract domain design

FILE', GILBERTO;RANZATO, FRANCESCO
1996

Abstract

The concept of abstract interpretation was introduced by Patrick and Radhia Cousot [1977, 1979] in order to formal- ize static program analyses. Within this framework, our goal is to offer a unify- ing view on operators for enhancing and simplifying abstract domains. Enhanc- ing and simplifying operators are viewed, respectively, as domain refine- ments and inverses of domain refine- ments. This new unifying viewpoint makes both the understanding and the design of operators on abstract domains much simpler.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11577/140666
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 57
  • ???jsp.display-item.citation.isi??? 48
social impact