More Precise Yet Widely Applicable Cost Analysis

DOI10.1007/978-3-642-18275-4_5zbMath1317.68027OpenAlexW3136924826MaRDI QIDQ3075469

Elvira Albert, Abu Naser Masud, Samir Genaim

Publication date: 15 February 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18275-4_5

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Selectively-amortized resource bounding ⋮ A general framework for static profiling of parametric resource usage ⋮ Analysis of Executable Software Models ⋮ A Transformational Approach to Parametric Accumulated-Cost Static Profiling ⋮ Cost analysis of object-oriented bytecode programs ⋮ A multi-domain incremental analysis engine and its application to incremental resource analysis

Uses Software

• Maxima
• PURRS
• SPEED

Cites Work

• Closed-form upper bounds in static cost analysis
• Amortized Resource Analysis with Polynomial Potential
• Mechanical program analysis
• Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
• Resource bound certification
• SPEED
• Comparing Cost Functions in Resource Analysis
• Size-Change Termination, Monotonicity Constraints and Ranking Functions

This page was built for publication: More Precise Yet Widely Applicable Cost Analysis