Syntactic and semantic soundness of structural dataflow analysis

DOI10.1007/978-3-030-32304-2_6zbMath1539.68059MaRDI QIDQ6536282

Patrick Cousot

Publication date: 19 April 2024

zbMATH Keywords

model checkingsoundnessabstract interpretationdataflow analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Abstract semantic dependency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bi-inductive structural semantics
• Constructive versions of Tarski's fixed point theorems
• Generating data flow analysis algorithms from modal specifications
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• The powerset operator on abstract interpretations
• A lattice-theoretical fixpoint theorem and its applications
• Combining Model Checking and Data-Flow Analysis
• Structural analysis: A new approach to flow analysis in optimizing compilers
• A program data flow analysis procedure
• A Comparison of Two Algorithms for Global Data Flow Analysis
• Data flow analysis as model checking
• Temporal abstract interpretation
• Systematic design of program transformation frameworks by abstract interpretation
• Making abstract interpretations complete
• Abstract semantic dependency

This page was built for publication: Syntactic and semantic soundness of structural dataflow analysis