Making abstract interpretations complete
From MaRDI portal
Recommendations
Cited in
(72)- Complete abstractions everywhere
- scientific article; zbMATH DE number 1759702 (Why is no real title available?)
- Fixpoint Theory -- Upside Down
- Semantics-based software watermarking by abstract interpretation
- An abstract interpretation-based model for safety semantics
- What you lose is what you leak: information leakage in declassification policies
- scientific article; zbMATH DE number 1834576 (Why is no real title available?)
- Deriving Bisimulations by Simplifying Partitions
- Abstract program slicing: an abstract interpretation-based approach to program slicing
- Inverse-limit and topological aspects of abstract interpretation
- Sound up-to techniques and complete abstract domains
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification
- Unveiling metamorphism by abstract interpretation of code properties
- Comparing Completeness Properties of Static Analyses and Their Logics
- On multi-language abstraction: towards a static analysis of multi-language programs
- Code obfuscation against abstraction refinement attacks
- Completeness of string analysis for dynamic languages
- An abstract interpretation framework for genotype elimination algorithms
- Formal framework for reasoning about the precision of dynamic analysis
- On multi-language abstraction. Towards a static analysis of multi-language programs
- Abstract Interpretation from a Topological Perspective
- Lattice-based refinement in bounded model checking
- 3-valued abstraction: More precision at less cost
- Compositional characterization of observable program properties
- Weakening additivity in adjoining closures
- Combining search space partition and abstraction for LTL model checking
- Making abstract models complete
- Generalizing the Paige-Tarjan algorithm by abstract interpretation
- Modelling declassification policies using abstract domain completeness
- A semantic framework for the abstract model checking of tccp programs
- Analyzing program analyses
- A correctness and incorrectness program logic
- Control-flow analysis of function calls and returns by abstract interpretation
- Complete abstractions and subclassical modal logics
- Deciding program properties via complete abstractions on bounded domains
- Abstract interpretation of database query languages
- Abstract interpretation from a denotational-semantics perspective
- Logics for extensional, locally complete analysis via domain refinements
- Incompleteness of states w.r.t. traces in model checking
- Abstracting Nash equilibria of supermodular games
- Comparison of abstract interpretations
- Abstract neural networks
- Twinning automata and regular expressions for string static analysis
- A theory of observables for logic programs
- Extracting program logics from abstract interpretations defined by logical relations
- Invertible linear transforms of numerical abstract domains
- On the power of abstract interpretation
- Refining abstract interpretations
- scientific article; zbMATH DE number 7559486 (Why is no real title available?)
- Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation
- Observational completeness on abstract interpretation
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms
- scientific article; zbMATH DE number 1953028 (Why is no real title available?)
- Cooperative query answering by abstract interpretation
- Correctness kernels of abstract interpretations
- scientific article; zbMATH DE number 7559481 (Why is no real title available?)
- Why does Astrée scale up?
- Local completeness logic on Kleene algebra with tests
- Observational Completeness on Abstract Interpretation
- Broadening the applicability of local completeness analysis with intensional and extensional guarantees
- Maximal incompleteness as obfuscation potency
- On the Monniaux problem in abstract interpretation
- Exploiting adjoints in property directed reachability analysis
- Abstract interpretation of indexed grammars
- Language inclusion algorithms as complete abstract interpretations
- On the Monniaux problem in abstract interpretation
- Syntactic and semantic soundness of structural dataflow analysis
- Abstract domains for type juggling
- On collecting semantics for program analysis
- Transforming Abstract Interpretations by Abstract Interpretation
- Internal and External Logics of Abstract Interpretations
- Optimality in goal-dependent analysis of Sharing
This page was built for publication: Making abstract interpretations complete
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5385340)
