Pages that link to "Item:Q5408556"
From MaRDI portal
The following pages link to Multivariate amortized resource analysis (Q5408556):
Displaying 29 items.
- A combination framework for complexity (Q276251) (← links)
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits (Q670699) (← links)
- Amortized complexity verified (Q670702) (← links)
- Synthesis with asymptotic resource bounds (Q832230) (← links)
- ATLAS: automated amortised complexity analysis of self-adjusting data structures (Q832253) (← links)
- Combining linear logic and size types for implicit complexity (Q1989323) (← links)
- Inferring expected runtimes of probabilistic integer programs using expected sizes (Q2044203) (← links)
- Selectively-amortized resource bounding (Q2145338) (← links)
- Types for complexity of parallel computation in pi-calculus (Q2233448) (← links)
- Estimating costs of multi-component enterprise applications (Q2322308) (← links)
- On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy (Q2343123) (← links)
- A multi-domain incremental analysis engine and its application to incremental resource analysis (Q2346994) (← links)
- Complexity and resource bound analysis of imperative programs using difference constraints (Q2398171) (← links)
- Type-based cost analysis for lazy functional languages (Q2398175) (← links)
- Linear dependent types in a call-by-value scenario (Q2441513) (← links)
- A Transformational Approach to Parametric Accumulated-Cost Static Profiling (Q2798274) (← links)
- Attribute-Based Signatures for Circuits from Bilinear Map (Q2798779) (← links)
- Lower Runtime Bounds for Integer Programs (Q2817952) (← links)
- Deciding Fast Termination for Probabilistic VASS with Nondeterminism (Q3297606) (← links)
- A Hoare Logic for Energy Consumption Analysis (Q3460506) (← links)
- Relational cost analysis in a functional-imperative setting (Q5020903) (← links)
- Verified Root-Balanced Trees (Q5056001) (← links)
- (Q5079730) (← links)
- Denotational semantics as a foundation for cost recurrence extraction for functional languages (Q5101922) (← links)
- (Q5111324) (← links)
- Analysis of Executable Software Models (Q5175771) (← links)
- Type-based amortized resource analysis with integers and arrays (Q5371954) (← links)
- Two decades of automatic amortized resource analysis (Q5875892) (← links)
- Type-based analysis of logarithmic amortised complexity (Q5875895) (← links)
