Abstract semantic dependency
From MaRDI portal
Publication:6536297
DOI10.1007/978-3-030-32304-2_19zbMATH Open1539.6806MaRDI QIDQ6536297
Publication date: 19 April 2024
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fences in weak memory models
- Why does Astrée scale up?
- The octagon abstract domain
- A logic for information flow analysis with an application to forward slicing of simple imperative programs
- Recognizing safety and liveness
- Affine relationships among variables of a program
- Constructive versions of Tarski's fixed point theorems
- An abstract interpretation framework for input data usage
- A lattice-theoretical fixpoint theorem and its applications
- Dependent Information Flow Types
- Noninterference for free
- Information Leakage Analysis by Abstract Interpretation
- Secure information flow by self-composition
- Provenance as dependency analysis
- Program Slicing
- A Contextual Logical Framework
- An Axiomatic Approach to Information Flow in Programs
- Compile-time derivation of variable dependency using abstract interpretation
- Certification of programs for secure information flow
- Combining Symbolic and Numerical Domains for Information Leakage Analysis
- Can you trust your data
- Information-flow and data-flow analysis of while-programs
- Abstract Program Slicing
- A logic for information flow in object-oriented programs
- Hypercollecting semantics and its application to static analysis of information flow
- Theories, solvers and static analysis by abstract interpretation
- Programming Languages and Systems
- Classes of Recursively Enumerable Sets and Their Decision Problems
- Static Analysis
- Syntactic and semantic soundness of structural dataflow analysis
Related Items (1)
This page was built for publication: Abstract semantic dependency
