Sciweavers

CC
2002
Springer
107views System Software» more  CC 2002»
13 years 10 months ago
Modular Static Program Analysis
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
Patrick Cousot, Radhia Cousot
SCAM
2006
IEEE
14 years 5 months ago
Linking Analysis and Transformation Tools with Source-Based Mappings
This paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of t...
Magiel Bruntink