The following pages link to A program logic for resources (Q2463560):
Displaying 8 items.
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits (Q670699) (← links)
- Proof optimization for partial redundancy elimination (Q843219) (← links)
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation (Q2437794) (← links)
- Relational Decomposition (Q3087994) (← links)
- Time Bounds for General Function Pointers (Q3178280) (← links)
- A Hoare Logic for Energy Consumption Analysis (Q3460506) (← links)
- Reasoning About Resources in the Embedded Systems Language Hume (Q3460507) (← links)
- A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation (Q4982630) (← links)
