Pages that link to "Item:Q5371954"
From MaRDI portal
The following pages link to Type-based amortized resource analysis with integers and arrays (Q5371954):
Displaying 5 items.
- Inferring expected runtimes of probabilistic integer programs using expected sizes (Q2044203) (← links)
- Type-based cost analysis for lazy functional languages (Q2398175) (← links)
- Type-based analysis of logarithmic amortised complexity (Q5875895) (← links)
- Programming Languages and Systems (Q5899006) (← links)
- Quantum weakest preconditions for reasoning about expected runtimes of quantum programs (Q6649432) (← links)