Program analysis and optimization through kernel-control decomposition

DOI10.1007/BF00288882zbMath0364.68012MaRDI QIDQ1241053

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)

Related Items (1)

TABLEAUX: A general theorem prover for modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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