Parametric and Termination-Sensitive Control Dependence

DOI10.1007/11823230_25MaRDI QIDQ3613393zbMATH OpenOpenAlexFDO

Authors Feng Chen, Grigore Roşu

Publication date 12 March 2009

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2142/11192

Mathematics Subject Classification ID

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

Recommendations

• A unifying theory of control dependence and its application to arbitrary program structures
• Fast computation of strong control dependencies
• An alternative characterization of weak order dependence
• Simple and efficient computation of minimal weak control closure
• Widening for Control-Flow

Cited in

(5)

• An alternative characterization of weak order dependence
• scientific article; zbMATH DE number 1158229 (Why is no real title available?)
• A unifying theory of control dependence and its application to arbitrary program structures
• Fast computation of strong control dependencies
• Slicing for modern program structures: a theory for eliminating irrelevant loops

This page was built for publication: Parametric and Termination-Sensitive Control Dependence

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