Using postdomination to reduce space requirements of data flow analysis

DOI10.1016/J.IPL.2005.11.017MaRDI QIDQ844147zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 18 January 2010

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2005.11.017

zbMATH Keywords

algorithmsproof systemdata flow analysis

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05)

Cites work

• Bytecode verification on Java smart cards
• Monotone data flow analysis frameworks
• Using postdomination to reduce space requirements of data flow analysis

Cited in

(1)

• Using postdomination to reduce space requirements of data flow analysis

This page was built for publication: Using postdomination to reduce space requirements of data flow analysis

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