Pages that link to "Item:Q2891436"
From MaRDI portal
The following pages link to Automatic Inference of Resource Consumption Bounds (Q2891436):
Displaying 3 items.
- Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free (Q2058383) (← links)
- Preface: Special issue on automatic resource bound analysis (Q2398169) (← links)
- Type-based amortized resource analysis with integers and arrays (Q5371954) (← links)
