Program logic and equivalence in the presence of garbage collection. (Q1874283): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573370
@@ Property / cites work: Q5573370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385541
@@ Property / cites work: Q4385541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934618
@@ Property / cites work: Q4934618 / rank @@
+Normal rank
@@ Property / cites work @@
+A variable typed logic of effects
@@ Property / cites work: A variable typed logic of effects / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131610
@@ Property / cites work: Q4131610 / rank @@
+Normal rank