Shape Analysis
Abstract elided by the publisher.
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
- Lazy Shape Analysis CAV 2006
- Interprocedural Shape Analysis for Recursive Programs CC 2001