A multi-domain incremental analysis engine and its application to incremental resource analysis

DOI10.1016/j.tcs.2015.03.002zbMath1327.68076OpenAlexW2064736352MaRDI 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

zbMATH Keywords

cost analysisstatic analysisincremental analysisresource usage analysis

Mathematics Subject Classification ID

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

Uses Software

• SPEED
• ABS

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

This page was built for publication: A multi-domain incremental analysis engine and its application to incremental resource analysis