scientific article; zbMATH DE number 1693487

MaRDI QIDQ2764062zbMATH OpenFDO

Authors E. Mehofer, B. Scholz

Publication date 22 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2027/20270037

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Recommendations

• Probabilistic data flow analysis: a linear equational approach
• On probabilistic techniques for data flow analysis
• A Systematic Approach to Probabilistic Pointer Analysis
• scientific article; zbMATH DE number 1975596
• Probabilistic abstract interpretation

Cited in

(4)

• Properties and algorithms for unfolding of probabilistic data-flow graphs
• On probabilistic techniques for data flow analysis
• scientific article; zbMATH DE number 1975596 (Why is no real title available?)
• Probabilistic data flow analysis: a linear equational approach

This page was built for publication:

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