Paper Info
Title
Composing Context Sensitive Analysis
Abstract
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.
Year
DOI
Venue
2006
10.1109/SEFM.2006.12
SEFM
Keywords
Field
DocType
boolean algebra,composing context sensitive analysis,subject analysis,simpler component property,practical problem,context-sensitive analysis,different form,complex property,context analysis,generic abstraction scheme,duality theory,duality mathematics,sensitivity analysis
Stone's representation theorem for Boolean algebras,Boolean algebras canonically defined,Duality (mathematics),Computer science,Theoretical computer science,Boolean algebra,Two-element Boolean algebra,Boolean domain,Complete Boolean algebra,Free Boolean algebra
Conference
ISSN
ISBN
Citations 
1551-0255
0-7695-2678-0
0
PageRank 
References 
Authors
0.34
4
2
Name
Order
Citations
PageRank
Prahladavaradan Sampath1647.65
Shrawan Kumar29010.04