Abstract Interpretation for Worst and Average Case Analysis

DOI10.1007/978-3-540-71322-7_8zbMATH Open1149.68350OpenAlexW1515864031MaRDI QIDQ3593073FDOQ3593073

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 (6)

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

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)