Program analysis and optimization through kernel-control decomposition

DOI10.1007/BF00288882MaRDI QIDQ1241053zbMATH OpenFDO

Authors Terrence W. Pratt

Publication date 1978

Published in Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

optimizationprogram analysiscontrol structureskernel-control decomposition

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(1)

• TABLEAUX: A general theorem prover for modal logics

This page was built for publication: Program analysis and optimization through kernel-control decomposition

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