A Path Sensitive Type System for Resource Usage Verification of C Like Languages
Abstract elided by the publisher.
Related papers
- Resource usage analysis TOPLAS 2005
- A graded dependent type system with a usage-aware semantics POPL 2021
- Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation PLDI 2000
- A Program Logic for Under-approximating Worst-case Resource Usage ESOP 2026
- Randomized Resource-Aware Path-Sensitive Static Analysis APLAS 2015
- Exceptional situations and program reliability TOPLAS 2008
- Local policies for resource usage analysis TOPLAS 2009
- Liquidate your assets: reasoning about resource usage in liquid Haskell POPL 2020