Refining abstract interpretations (Q765513): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2010.05.021
+Normal rank
@@ Property / OpenAlex ID @@
+W1974830258
@@ Property / OpenAlex ID: W1974830258 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Automatically Refining Abstract Interpretations
@@ Property / cites work: Automatically Refining Abstract Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Abstractions from proofs
@@ Property / cites work: Abstractions from proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank