Pages that link to "Item:Q2429987"

The following pages link to Closed-form upper bounds in static cost analysis (Q2429987):

Displaying 22 items.

• Quantified abstract configurations of distributed systems (Q493525) (← links)
• Cost analysis of object-oriented bytecode programs (Q764297) (← links)
• Synthesis with asymptotic resource bounds (Q832230) (← links)
• ATLAS: automated amortised complexity analysis of self-adjusting data structures (Q832253) (← links)
• On the complexity of monitoring Orchids signatures, and recurrence equations (Q1667643) (← links)
• Inferring expected runtimes of probabilistic integer programs using expected sizes (Q2044203) (← 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)
• Cost analysis for an actor-based workflow modelling language (Q2154052) (← links)
• A multi-domain incremental analysis engine and its application to incremental resource analysis (Q2346994) (← links)
• Rely-guarantee termination and cost analyses of loops with concurrent interleavings (Q2398172) (← links)
• Time analysis of actor programs (Q2423757) (← links)
• A Transformational Approach to Parametric Accumulated-Cost Static Profiling (Q2798274) (← links)
• More Precise Yet Widely Applicable Cost Analysis (Q3075469) (← links)
• A general framework for static profiling of parametric resource usage (Q4593063) (← links)
• A Transformational Approach to Resource Analysis with Typed-norms Inference (Q4957197) (← links)
• A General Framework for Static Cost Analysis of Parallel Logic Programs (Q5097623) (← links)
• Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis (Q5108517) (← links)
• Analysis of Executable Software Models (Q5175771) (← links)
• Type-based amortized resource analysis with integers and arrays (Q5371954) (← links)
• Ranking Functions for Linear-Constraint Loops (Q5501930) (← links)
• Type-based analysis of logarithmic amortised complexity (Q5875895) (← links)
• Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)