Is Your Software on Dope? (Q2988635): Difference between revisions

@@ Property / author @@
+Pedro R. D'Argenio
@@ Property / author: Pedro R. D'Argenio / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SymDiff
@@ Property / describes a project that uses: SymDiff / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2592458317
@@ Property / OpenAlex ID: W2592458317 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04693
@@ Property / arXiv ID: 1702.04693 / rank @@
+Normal rank
@@ Property / cites work @@
+Secure information flow by self-composition
@@ Property / cites work: Secure information flow by self-composition / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy
+Normal rank
@@ Property / cites work @@
+Simple relational correctness proofs for static analyses and program transformations
+Normal rank
@@ Property / cites work @@
+Continuity analysis of programs
@@ Property / cites work: Continuity analysis of programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4608665
@@ Property / cites work: Q4608665 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for model checking HyperLTL and HyperCTL\(^*\)
+Normal rank
@@ Property / cites work @@
+Abstract non-interference
@@ Property / cites work: Abstract non-interference / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Relational separation logic
@@ Property / cites work: Relational separation logic / rank @@
+Normal rank