Sciweavers

76
Voted
ASM
2010
ASM

A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking

15 years 3 days ago
A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking
Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dew
Added 02 Sep 2010
Updated 02 Sep 2010
Type Conference
Year 2010
Where ASM
Authors Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry
Comments (0)