The following pages link to (Q4779119):
Displaying 25 items.
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation (Q453545) (← links)
- Maximal incompleteness as obfuscation potency (Q511013) (← links)
- Generalizing the Paige-Tarjan algorithm by abstract interpretation (Q924726) (← links)
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- An efficient simulation algorithm based on abstract interpretation (Q1049401) (← links)
- Code obfuscation against abstraction refinement attacks (Q1624593) (← links)
- Lattice-based refinement in bounded model checking (Q1629959) (← links)
- Completeness of string analysis for dynamic languages (Q2051812) (← links)
- Correctness kernels of abstract interpretations (Q2252528) (← links)
- Incompleteness of states w.r.t. traces in model checking (Q2492186) (← links)
- A semantic framework for the abstract model checking of tccp programs (Q2576949) (← links)
- Abstract Interpretation From a Denotational-semantics Perspective (Q2805148) (← links)
- Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
- Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (Q3012928) (← links)
- Refinement of Trace Abstraction (Q3392921) (← links)
- Abstract Interpretation from a Topological Perspective (Q3392931) (← links)
- Transforming Abstract Interpretations by Abstract Interpretation (Q3522058) (← links)
- Semantics-based software watermarking by abstract interpretation (Q4611201) (← links)
- What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
- Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946) (← links)
- Deriving Bisimulations by Simplifying Partitions (Q5452714) (← links)
- Internal and External Logics of Abstract Interpretations (Q5452722) (← links)
- Calculational design of a regular model checker by abstract interpretation (Q5896884) (← links)
- Observational Completeness on Abstract Interpretation (Q5902155) (← links)
