loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
Composing Context Sensitive Analysis
Pune, India
September 11-September 15
ISBN: 0-7695-2678-0
ASCII Text
x 
 
Prahladavaradan Sampath, Shrawan Kumar, "Composing Context Sensitive Analysis," Software Engineering and Formal Methods, IEEE International Conference on, pp. 186-195, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2006.12,
author = {Prahladavaradan Sampath and Shrawan Kumar},
title = {Composing Context Sensitive Analysis},
journal ={Software Engineering and Formal Methods, IEEE International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2678-0},
pages = {186-195},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.12},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, IEEE International Conference on
TI - Composing Context Sensitive Analysis
SN - 0-7695-2678-0
SP186
EP195
A1 - Prahladavaradan Sampath,
A1 - Shrawan Kumar,
PY - 2006
KW - null
VL - 0
JA - Software Engineering and Formal Methods, IEEE International Conference on
ER -
 
Prahladavaradan Sampath, GM India Science Lab, India
Shrawan Kumar, TRDDC, India
In this paper we present a mechanism for developing context-sensitive analyses by composing together two analyses: a subject analysis and a context analysis. The construction provides a means for building analyses of complex properties out of analyses of simpler component properties. In particular, it becomes possible to introduce different forms of context-sensitivity into an analysis.

This paper also considers the practical problems of implementing such analyses. In particular, the na??ve method of implementing the construction leads to analyses that are impractical and infeasible. We attack this problem by proposing a generic abstraction scheme based on the duality-theory of boolean algebras that makes this approach for building context-sensitive analyses practical.

Citation:
Prahladavaradan Sampath, Shrawan Kumar, "Composing Context Sensitive Analysis," sefm, pp.186-195, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.