Multivariate amortized resource analysis

From MaRDI portal
Publication:5408556

DOI10.1145/1926385.1926427zbMath1284.68132OpenAlexW4242321992MaRDI QIDQ5408556

Martin Hofmann, Klaus Aehlig, Jan Hoffmann

Publication date: 10 April 2014

Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1926385.1926427




Related Items (29)

A combination framework for complexitySynthesis with asymptotic resource boundsATLAS: automated amortised complexity analysis of self-adjusting data structuresVerified Root-Balanced TreesSelectively-amortized resource boundingA Hoare Logic for Energy Consumption AnalysisComplexity and resource bound analysis of imperative programs using difference constraintsType-based cost analysis for lazy functional languagesDenotational semantics as a foundation for cost recurrence extraction for functional languagesType-based amortized resource analysis with integers and arraysLinear dependent types in a call-by-value scenarioDeciding Fast Termination for Probabilistic VASS with NondeterminismTypes for complexity of parallel computation in pi-calculusVerifying the correctness and amortized complexity of a union-find implementation in separation logic with time creditsAmortized complexity verifiedCombining linear logic and size types for implicit complexityAnalysis of Executable Software ModelsUnnamed ItemA Transformational Approach to Parametric Accumulated-Cost Static ProfilingAttribute-Based Signatures for Circuits from Bilinear MapInferring expected runtimes of probabilistic integer programs using expected sizesUnnamed ItemLower Runtime Bounds for Integer ProgramsEstimating costs of multi-component enterprise applicationsOn the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchyA multi-domain incremental analysis engine and its application to incremental resource analysisRelational cost analysis in a functional-imperative settingTwo decades of automatic amortized resource analysisType-based analysis of logarithmic amortised complexity




This page was built for publication: Multivariate amortized resource analysis