scientific article; zbMATH DE number 1693486

MaRDI QIDQ2764061zbMATH OpenFDO

Authors Atanas Rountev, Barbara G. Ryder

Publication date 22 January 2002

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2087567
• Precise interprocedural side-effect analysis
• scientific article; zbMATH DE number 1948395
• Points-to analysis with efficient strong updates
• scientific article; zbMATH DE number 1975596

Cited in

(4)

• Precise interprocedural side-effect analysis
• Conditional Dyck-CFL reachability analysis for complete and efficient library summarization
• Modular analysis of executables using on-demand Heyting completion
• scientific article; zbMATH DE number 1948395 (Why is no real title available?)

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