Searching for "Componential Set-Based Analysis." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Componential set-based analysis
- …Componential Set-Based Analysis CORMAC FLANAGAN Compaq Systems Research Center and MATTHIAS…
- Cited by 102 (10 self) – Add To MetaCart
-
Effective Static Debugging via Componential Set-Based Analysis
- …RICE UNIVERSITY Effective Static Debugging via Componential Set-Based Analysis by Cormac Flanagan…
- Cited by 26 (4 self) – Add To MetaCart
-
Modular and polymorphic set-based analysis: Theory and practice
- … constraint systems. Based on the resulting algorithms, we develop a componential set-based analysis, a…
- Cited by 10 (3 self) – Add To MetaCart
-
Compositional separate modular static analysis of programs by abstract interpretation
- …. 4.2], in the componential set-based analysis of [23], in the variable substitution transformation…
- Cited by 5 (1 self) – Add To MetaCart
-
Modular Static Program Analysis
- … be found in the analysis of procedures of [17, Sec. 4.2], in the componential set-based analysis of [38…
- Cited by 13 (0 self) – Add To MetaCart
-
Scalable Program Analysis and Understanding Based on Type Inference
- …'s componential set-based analysis, show promise, but in published work their method has not been applied…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
