A multi-domain incremental analysis engine and its application to incremental resource analysis
From MaRDI portal
Publication:2346994
DOI10.1016/j.tcs.2015.03.002zbMath1327.68076MaRDI QIDQ2346994
Elvira Albert, Guillermo Román-Díez, Jesús Correas, Germán Puebla
Publication date: 26 May 2015
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2015.03.002
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Cost analysis of object-oriented bytecode programs
- Closed-form upper bounds in static cost analysis
- Generating all polynomial invariants in simple loops
- More Precise Yet Widely Applicable Cost Analysis
- Mechanical program analysis
- SPEED
- Multivariate amortized resource analysis
- Static Analysis
- Verification, Model Checking, and Abstract Interpretation