Qualified Data Flow Problems

DOI10.1109/TSE.1981.234509zbMATH Open0447.68009WikidataQ111897023 ScholiaQ111897023MaRDI QIDQ3893271

Barry K. Rosen, L. Howard Holley

Publication date: 1981

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

zbMATH Keywords

interprocedural analysissymbolic executiondata flow analysisglobal variablelabel variable

Mathematics Subject Classification ID

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

Related Items (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)