DMCA

Transforming abstract interpretations by abstract interpretation: New challenges in language-based security (2008)

by Roberto Giacobazzi , Isabella Mastroeni
Venue:INVITED PAPER IN THE 5TH INTERNATIONAL STATIC ANALYSIS SYMPOSIUM (SAS ’08), VOLUME 5079 OF LECTURE
Citations:9 - 8 self