Fast and incremental computation of weak control closure

DOI10.1007/978-3-031-22308-2_15zbMath1524.68095MaRDI QIDQ6164434

Abu Naser Masud

Publication date: 28 July 2023

Published in: Static Analysis (Search for Journal in Brave)

zbMATH Keywords

program slicingcontrol dependencenontermination insensitivenontermination sensitivestrong control closureweak control closure

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• A unifying theory of control dependence and its application to arbitrary program structures
• Simple and efficient computation of minimal weak control closure
• The program dependence graph and its use in optimization
• Certification of programs for secure information flow
• Programming Languages and Systems

This page was built for publication: Fast and incremental computation of weak control closure