Syntactic type soundness results for the region calculus (Q1854515): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2001218627
@@ Property / OpenAlex ID: W2001218627 / rank @@
+Normal rank
@@ Property / cites work @@
+A constraint-based region inference algorithm
@@ Property / cites work: A constraint-based region inference algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Stratified operational semantics for safety and correctness of the region calculus
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+A simplified account of polymorphic references
@@ Property / cites work: A simplified account of polymorphic references / rank @@
+Normal rank
@@ Property / cites work @@
+A note on ``A simplified account of polymorphic references''
+Normal rank
@@ Property / cites work @@
+Region-based memory management
@@ Property / cites work: Region-based memory management / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank