Sciweavers

68

CL
2011
Springer

260views Automated Reasoning» more CL 2011»

Widening and narrowing operators for abstract interpretation

13 years 6 months ago

Widening and narrowing operators for abstract interpretation

Download www.dsi.unive.it

Agostino Cortesi, Matteo Zanioli

claim paper

Read More »

50

CL
2011
Springer

175views Automated Reasoning» more CL 2011»

A transactional model for automatic exception handling

13 years 6 months ago

A transactional model for automatic exception handling

Download eden.dei.uc.pt

Bruno Cabral, Paulo Marques

claim paper

Read More »