Probabilistic data flow analysis: a linear equational approach

MaRDI QIDQ4992513zbMATH OpenFDO

Authors Alessandra Di Pierro, Herbert Wiklicky

Publication date 9 June 2021

Full work available at URL https://arxiv.org/abs/1307.4474, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2013.14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• scientific article; zbMATH DE number 1693487
• On probabilistic techniques for data flow analysis
• Probabilistic analysis of programs: a weak limit approach
• Construction of speculative optimization algorithms
• scientific article; zbMATH DE number 1975596

Cited in

(9)

• Properties and algorithms for unfolding of probabilistic data-flow graphs
• scientific article; zbMATH DE number 1693487 (Why is no real title available?)
• On probabilistic techniques for data flow analysis
• Probabilistic analysis of programs: a weak limit approach
• Assembly Code Analysis Using Stochastic Process Algebra
• High Performance Computing for Computational Science - VECPAR 2004
• Bridging static and dynamic program analysis using fuzzy logic
• Probabilistic output analysis by program manipulation
• Construction of speculative optimization algorithms

This page was built for publication: Probabilistic data flow analysis: a linear equational approach

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