Sciweavers

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