Syntactic and semantic soundness of structural dataflow analysis
From MaRDI portal
Publication:6536282
DOI10.1007/978-3-030-32304-2_6zbMATH Open1539.68059MaRDI QIDQ6536282FDOQ6536282
Authors: Patrick Cousot 
Publication date: 19 April 2024
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Constructive versions of Tarski's fixed point theorems
- A lattice-theoretical fixpoint theorem and its applications
- Systematic design of program transformation frameworks by abstract interpretation
- Temporal abstract interpretation
- Making abstract interpretations complete
- A program data flow analysis procedure
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- Title not available (Why is that?)
- Bi-inductive structural semantics
- A Comparison of Two Algorithms for Global Data Flow Analysis
- Title not available (Why is that?)
- Structural analysis: A new approach to flow analysis in optimizing compilers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The powerset operator on abstract interpretations
- Generating data flow analysis algorithms from modal specifications
- Combining Model Checking and Data-Flow Analysis
- Data flow analysis as model checking
- Abstract semantic dependency
Cited In (1)
This page was built for publication: Syntactic and semantic soundness of structural dataflow analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536282)
