Qualified Data Flow Problems

DOI10.1109/TSE.1981.234509MaRDI QIDQ3893271zbMATH OpenWikidataFDO

Authors L. Howard Holley, Barry K. Rosen

Publication date 1981

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1981.234509

zbMATH Keywords

data flow analysisglobal variableinterprocedural analysislabel variablesymbolic execution

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• Clustered relational thread-modular abstract interpretation with local traces

This page was built for publication: Qualified Data Flow Problems

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