Lazy Shape Analysis
No abstract available.
DOI 10.1007/11817963_48
Related papers
- Shape Analysis Quantitative Shape Analysis SAS 2004
- Thread-Modular Shape Analysis VMCAI 2009
- From Shape Analysis to Termination Analysis in Linear Time CAV 2016
- VeriSmall: Verified Smallfoot Shape Analysis CPP 2011
- Shape Analysis for Low-Level Code SAS 2006
- Towards Shape Analysis for Device Drivers VMCAI 2007
- Shape Analysis CC 2000
- Interprocedural Shape Analysis for Recursive Programs CC 2001