Program analysis and optimization through kernel-control decomposition

DOI10.1007/BF00288882zbMATH Open0364.68012MaRDI QIDQ1241053FDOQ1241053

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)