Parametric and Termination-Sensitive Control Dependence

DOI10.1007/11823230_25zbMath1225.68070OpenAlexW1566035021MaRDI QIDQ3613393

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)

Related Items

Fast computation of strong control dependencies, Slicing for modern program structures: a theory for eliminating irrelevant loops