Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.02.042
+Normal rank
@@ Property / OpenAlex ID @@
+W2061106041
@@ Property / OpenAlex ID: W2061106041 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation, Logical Relations, and Kan Extensions
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808686
@@ Property / cites work: Q4808686 / rank @@
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal abstract interpretation
@@ Property / cites work: Temporal abstract interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4884237
@@ Property / cites work: Q4884237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779119
@@ Property / cites work: Q4779119 / rank @@
+Normal rank
@@ Property / cites work @@
+Making abstract interpretations complete
@@ Property / cites work: Making abstract interpretations complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Pair algebra and its application to automata theory
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiler optimization correctness by temporal logic
+Normal rank
@@ Property / cites work @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709872
@@ Property / cites work: Q3709872 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-level semantics and abstract interpretation
@@ Property / cites work: Two-level semantics and abstract interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete domains
@@ Property / cites work: Concrete domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Completeness Properties of Static Analyses and Their Logics
+Normal rank
@@ Property / cites work @@
+Underapproximating Predicate Transformers
@@ Property / cites work: Underapproximating Predicate Transformers / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of logical relations for over- and underapproximating static analyses
+Normal rank
@@ Property / cites work @@
+The structure of Galois connections
@@ Property / cites work: The structure of Galois connections / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195918
@@ Property / cites work: Q4195918 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating data flow analysis algorithms from modal specifications
+Normal rank
@@ Property / cites work @@
+On powerdomains and modality
@@ Property / cites work: On powerdomains and modality / rank @@
+Normal rank