Controlling and Optimizing the Usage of One Resource
No abstract available.
Related papers
- Portable Resource Control in Java: The J-SEAL2 Approach OOPSLA 2001
- Higher-order functional reactive programming without spacetime leaks ICFP 2013
- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios CAV 2021
- Resource Usage Analysis APLAS 2001
- Resource usage analysis POPL 2002
- Resource Usage Verification APLAS 2003
- Resource Usage Analysis for the pi-Calculus VMCAI 2006
- A Path Sensitive Type System for Resource Usage Verification of C Like Languages APLAS 2005