More Precise Yet Widely Applicable Cost Analysis
From MaRDI portal
Publication:3075469
DOI10.1007/978-3-642-18275-4_5zbMath1317.68027MaRDI 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
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A general framework for static profiling of parametric resource usage, Analysis of Executable Software Models, Cost analysis of object-oriented bytecode programs, Selectively-amortized resource bounding, A multi-domain incremental analysis engine and its application to incremental resource analysis, A Transformational Approach to Parametric Accumulated-Cost Static Profiling
Uses Software
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