Verifying a concurrent garbage collector using a rely-guarantee methodology (Q1687774): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2747080245
@@ Property / OpenAlex ID: W2747080245 / rank @@
+Normal rank
@@ Property / cites work @@
+On-the-fly garbage collection
@@ Property / cites work: On-the-fly garbage collection / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of atomic actions
@@ Property / cites work: A calculus of atomic actions / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying a concurrent garbage collector using a rely-guarantee methodology
+Normal rank
@@ Property / cites work @@
+Automated verification of practical garbage collectors
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+A certified framework for compiling and executing garbage-collected languages
+Normal rank
@@ Property / cites work @@
+Q4417904
@@ Property / cites work: Q4417904 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Separation Logic and Operational Semantics
+Normal rank
@@ Property / cites work @@
+A Marriage of Rely/Guarantee and Separation Logic
@@ Property / cites work: A Marriage of Rely/Guarantee and Separation Logic / rank @@
+Normal rank