scientific article; zbMATH DE number 1975596

MaRDI QIDQ4424837zbMATH OpenFDO

Authors Yuan-Shin Hwang, Peng-Sheng Chen, Jenq Kuen Lee, Roy Dz-Ching Ju

Publication date 7 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2624/26240290.htm

Mathematics Subject Classification ID

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

Recommendations

• A Systematic Approach to Probabilistic Pointer Analysis
• scientific article; zbMATH DE number 1834572
• scientific article; zbMATH DE number 1693487
• Optimizing Pointer Analysis Using Bisimilarity
• Points-to analysis as a system of linear equations

Cited in

(12)

• On the non-approximability of points-to analysis
• Probabilistic analysis of vantage point trees
• scientific article; zbMATH DE number 1617323 (Why is no real title available?)
• scientific article; zbMATH DE number 1693486 (Why is no real title available?)
• scientific article; zbMATH DE number 1693487 (Why is no real title available?)
• Optimizing Pointer Analysis Using Bisimilarity
• A Systematic Approach to Probabilistic Pointer Analysis
• Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
• scientific article; zbMATH DE number 1834572 (Why is no real title available?)
• Points-to analysis as a system of linear equations
• Probabilistic data flow analysis: a linear equational approach
• High Performance Computing for Computational Science - VECPAR 2004

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 Q4424837)