Search
Now showing items 1-4 of 4
On Role Logic
(2003-10-24)
We present role logic, a notation for describing propertiesof relational structures in shape analysis, databases, andknowledge bases. We construct role logic using the ideas ofde Bruijn's notation for lambda calculus, an ...
On The Boolean Algebra of Shape Analysis Constraints
(2003-08-22)
Shape analysis is a promising technique for statically verifyingand extracting properties of programs that manipulatecomplex data structures. We introduce a new characterizationof constraints that arise in parametric ...
Efficient Specification-Assisted Error Localization and Correction
(2003-11-13)
We present a new error localization tool, Archie, that accepts aspecification of key data structure consistency constraints, then generatesan algorithm that checks if the data structures satisfy theconstraints. We also ...
On Modular Pluggable Analyses Using Set Interfaces
(2003-12-18)
We present a technique that enables the focused applicationof multiple analyses to different modules in the same program. Our researchhas two goals: 1) to address the scalability limitations of preciseanalyses by focusing ...