Pages that link to "Item:Q3296329"
From MaRDI portal
The following pages link to From Shapes to Amortized Complexity (Q3296329):
Displaying 5 items.
- ATLAS: automated amortised complexity analysis of self-adjusting data structures (Q832253) (← links)
- 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)
- A Transformational Approach to Resource Analysis with Typed-norms Inference (Q4957197) (← links)
- Exploring 2D Shape Complexity (Q5195310) (← links)
- Type-based analysis of logarithmic amortised complexity (Q5875895) (← links)