Transforming Abstract Interpretations by Abstract Interpretation (Q3522058): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-69166-2_1
+Normal rank
@@ Property / OpenAlex ID @@
+W1558230924
@@ Property / OpenAlex ID: W1558230924 / rank @@
+Normal rank
@@ Property / cites work @@
+What You Lose is What You Leak: Information Leakage in Declassification Policies
+Normal rank
@@ Property / cites work @@
+Q4056047
@@ Property / cites work: Q4056047 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934630
@@ Property / cites work: Q4934630 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q3968981
@@ Property / cites work: Q3968981 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q4414386
@@ Property / cites work: Q4414386 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract non-interference
@@ Property / cites work: Abstract non-interference / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779119
@@ Property / cites work: Q4779119 / rank @@
+Normal rank
@@ Property / cites work @@
+Refining and compressing abstract domains
@@ Property / cites work: Refining and compressing abstract domains / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal domains for disjunctive abstract interpretation
+Normal rank
@@ Property / cites work @@
+Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
+Normal rank
@@ Property / cites work @@
+Making abstract interpretations complete
@@ Property / cites work: Making abstract interpretations complete / rank @@
+Normal rank
@@ Property / cites work @@
+Making abstract domains condensing
@@ Property / cites work: Making abstract domains condensing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5602132
@@ Property / cites work: Q5602132 / rank @@
+Normal rank
@@ Property / cites work @@
+The closure operators of a lattice
@@ Property / cites work: The closure operators of a lattice / rank @@
+Normal rank