Shape Analysis Quantitative Shape Analysis
No abstract available.
Related papers
- 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
- Lazy Shape Analysis CAV 2006
- Interprocedural Shape Analysis for Recursive Programs CC 2001