Sciweavers

6 search results - page 2 / 2
» Incremental call graph reanalysis for AspectJ software
Sort
View
SIGSOFT
2005
ACM
14 years 6 months ago
Permissive interfaces
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar