Property-oriented expansion

DOI10.1007/3-540-61739-6_31MaRDI QIDQ5030184zbMATH OpenOpenAlexFDO

Authors Bernhard Steffen

Publication date 16 February 2022

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61739-6_31

zbMATH Keywords

data flow analysismodal logicoptimizationpartial redundancy eliminationpartially dead code eliminationprogram expansiontransition systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 4084981
• A solution to a problem with Morel and Renvoise's “Global optimization by suppression of partial redundancies”
• Compiler Construction
• scientific article; zbMATH DE number 2077065
• Sparse code motion

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• An efficient general iterative algorithm for dataflow analysis
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Characteristic formulae for processes with divergence
• Data flow analysis as model checking
• Generating data flow analysis algorithms from modal specifications
• Global optimization by suppression of partial redundancies
• Grammar Analysis and Parsing by Abstract Interpretation
• scientific article; zbMATH DE number 5344975 (Why is no real title available?)
• scientific article; zbMATH DE number 3768948 (Why is no real title available?)
• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• Local model checking for infinite state spaces
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Results on the propositional \(\mu\)-calculus
• Synthesis of Communicating Processes from Temporal Logic Specifications
• The complexity of propositional linear temporal logics

Cited in

(4)

• Generative program analysis and beyond: the power of domain-specific languages (invited paper)
• Quality engineering: leveraging heterogeneous information (invited talk)
• Combining model checking and data-flow analysis
• scientific article; zbMATH DE number 4084981 (Why is no real title available?)

This page was built for publication: Property-oriented expansion

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