scientific article; zbMATH DE number 3885296

MaRDI QIDQ3219097zbMATH OpenFDO

Authors Zbigniew J. Czech

Publication date 1984

zbMATH Keywords

data flow analysisflow graph

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3870590
• A region analysis algorithm for the live variables problem
• A Fast and Usually Linear Algorithm for Global Flow Analysis
• scientific article; zbMATH DE number 1407672
• Using locality of flow in dataflow analyses.

Cited in

(5)

• scientific article; zbMATH DE number 3870590 (Why is no real title available?)
• A Fast and Usually Linear Algorithm for Global Flow Analysis
• scientific article; zbMATH DE number 1407672 (Why is no real title available?)
• A region analysis algorithm for the live variables problem
• Average case analysis of DJ graphs

This page was built for publication:

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