Sciweavers

CL
2011
Springer
14 years 4 months ago
Widening and narrowing operators for abstract interpretation
Agostino Cortesi, Matteo Zanioli
108
Voted
CL
2011
Springer
14 years 4 months ago
A transactional model for automatic exception handling
Bruno Cabral, Paulo Marques