Abstract Interpretation for Worst and Average Case Analysis

DOI10.1007/978-3-540-71322-7_8MaRDI QIDQ3593073zbMATH OpenOpenAlexFDO

Authors Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Publication date 24 September 2007

Published in Program Analysis and Compilation, Theory and Practice (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71322-7_8

Mathematics Subject Classification ID

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

Recommendations

• Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression
• Probabilistic abstract interpretation
• scientific article; zbMATH DE number 1617330
• scientific article; zbMATH DE number 1692951
• Static timing analysis -- what is special?

Cited in

(7)

• On probabilistic techniques for data flow analysis
• A Systematic Approach to Probabilistic Pointer Analysis
• Probabilistic semantics and program analysis
• On the criticality of probabilistic worst-case execution time models
• Exact Worst Case TCAM Rule Expansion
• Probabilistic output analysis by program manipulation
• List's worst-average-case or WAC ratio

Describes a project that uses

Uses Software

• Octave

This page was built for publication: Abstract Interpretation for Worst and Average Case Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3593073)