scientific article; zbMATH DE number 17826

MaRDI QIDQ3975170zbMATH OpenFDO

Authors Bernhard Steffen

Publication date 26 June 1992

zbMATH Keywords

abstract interpretationcompletenessfully abstract modelsobservational equivalenceoptimalityoptimizeroptimizing compiler

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Data flow analysis as model checking
• scientific article; zbMATH DE number 3938555
• scientific article; zbMATH DE number 45919
• scientific article; zbMATH DE number 177796
• Frameworks for abstract interpretation

Cited in

(6)

• Finite constants: Characterizations of a new decidable set of constants
• Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery
• scientific article; zbMATH DE number 3907743 (Why is no real title available?)
• scientific article; zbMATH DE number 45919 (Why is no real title available?)
• Compositional characterization of observable program properties
• scientific article; zbMATH DE number 1948400 (Why is no real title available?)

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 Q3975170)