Using postdomination to reduce space requirements of data flow analysis

DOI10.1016/j.ipl.2005.11.017zbMath1187.68677OpenAlexW2047793991MaRDI QIDQ844147

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)

Related Items (1)

Using postdomination to reduce space requirements of data flow analysis

Cites Work

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

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