On probabilistic techniques for data flow analysis

DOI10.1016/J.ENTCS.2007.07.005MaRDI QIDQ2870284zbMATH OpenOpenAlexFDO

Authors Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Publication date 17 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.07.005

zbMATH Keywords

data flow analysislinear operators semanticsprobabilistic abstract interpretationprobabilistic programs

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Probabilistic data flow analysis: a linear equational approach
• scientific article; zbMATH DE number 1693487
• On the hardness of analyzing probabilistic programs
• Probabilistic semantics and program analysis
• Probabilistic analysis of programs: a weak limit approach
• On the complexity of flow-sensitive dataflow analyses
• A probabilistic analysis of loop programs

Cites work

• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• A structural approach to operational semantics
• Abstract Interpretation for Worst and Average Case Analysis
• Advanced Linear Algebra
• Handbook of process algebra
• scientific article; zbMATH DE number 1617330 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1973222 (Why is no real title available?)
• scientific article; zbMATH DE number 1843158 (Why is no real title available?)
• scientific article; zbMATH DE number 805121 (Why is no real title available?)
• Measuring the confinement of probabilistic systems
• Probabilistic extensions of process algebras.
• Quantitative relations and approximate process equivalences.
• Reactive, generative, and stratified models of probabilistic processes
• Semantics of probabilistic programs
• Systematic design of program transformation frameworks by abstract interpretation
• VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC

Cited in

(10)

• scientific article; zbMATH DE number 1693487 (Why is no real title available?)
• A theory of slicing for probabilistic control flow graphs
• Probabilistic  -calculus and Quantitative Program Analysis
• Probabilistic analysis of programs: a weak limit approach
• A Systematic Approach to Probabilistic Pointer Analysis
• Probabilistic semantics and program analysis
• Probabilistic data flow analysis: a linear equational approach
• Relational Analysis and Precision via Probabilistic Abstract Interpretation
• High Performance Computing for Computational Science - VECPAR 2004
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

Describes a project that uses

Uses Software

• Octave

This page was built for publication: On probabilistic techniques for data flow analysis

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