Pages that link to "Item:Q2891436"

The following pages link to Automatic Inference of Resource Consumption Bounds (Q2891436):

Displaying 2 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)
• Type-based amortized resource analysis with integers and arrays (Q5371954) (← links)