Resource Analysis of Complex Programs with Cost Equations
From MaRDI portal
Publication:2789051
DOI10.1007/978-3-319-12736-1_15zbMath1453.68047OpenAlexW110849379MaRDI QIDQ2789051
Antonio Flores-Montoya, Reiner Hähnle
Publication date: 26 February 2016
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-12736-1_15
Related Items
From Jinja bytecode to term rewriting: a complexity reflecting transformation, Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution, Cost analysis for an actor-based workflow modelling language, Complexity and resource bound analysis of imperative programs using difference constraints, Rely-guarantee termination and cost analyses of loops with concurrent interleavings, On the complexity of monitoring Orchids signatures, and recurrence equations, Time analysis of actor programs, Resource Analysis driven by (Conditional) Termination Proofs, Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis, Resource-usage-aware configuration in software product lines, Analysing parallel complexity of term rewriting, Proving Termination Through Conditional Termination, A Transformational Approach to Resource Analysis with Typed-norms Inference, Certified abstract cost analysis, Inferring expected runtimes of probabilistic integer programs using expected sizes, Unnamed Item, Lower Runtime Bounds for Integer Programs, Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free, Automatic complexity analysis of integer programs via triangular weakly non-linear loops