Field Constraint Analysis
Abstract
Note: MIT-CSAIL-TR-2005-072, MIT-LCS-TR-1010 Full version of http://infoscience.epfl.ch/search.py?recid=110250l=en Reference LARA-REPORT-2005-003 Record created on 2007-08-21, modified on 2017-05-12
Related papers
- Efficient field-sensitive pointer analysis of C TOPLAS 2007
- Points-To Analysis for Java using Annotated Constraints OOPSLA 2001
- Field level analysis for heap space optimization in embedded java environments ISMM 2004
- An Improved Tight Closure Algorithm for Integer Octagonal Constraints VMCAI 2008
- Role analysis POPL 2002
- Practical Structure Layout Optimization and Advice CGO 2006
- Synthesizing data structure refinements from integrity constraints PLDI 2021
- Reordering constraints for pthread-style locks PPoPP 2007