Using postdomination to reduce space requirements of data flow analysis

DOI10.1016/J.IPL.2005.11.017zbMATH Open1187.68677OpenAlexW2047793991MaRDI QIDQ844147FDOQ844147

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)