Sciweavers

IJCM
2011
53views more  IJCM 2011»
14 years 4 months ago
An abstract interpretation-based model for safety semantics
Isabella Mastroeni, Roberto Giacobazzi