Syntactic soundness proof of a type-and-capability system with hidden state (Q4912884): Difference between revisions

@@ Property / describes a project that uses @@
+CoLoR
@@ Property / describes a project that uses: CoLoR / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A canonical locally named representation of binding
+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 @@
+Local Reasoning for Storable Locks and Threads
@@ Property / cites work: Local Reasoning for Storable Locks and Threads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3614718
@@ Property / cites work: Q3614718 / rank @@
+Normal rank
@@ Property / cites work @@
+FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare type theory, polymorphism and separation
@@ Property / cites work: Hoare type theory, polymorphism and separation / rank @@
+Normal rank
@@ Property / cites work @@
+The locally nameless representation
@@ Property / cites work: The locally nameless representation / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic type inference and containment
@@ Property / cites work: Polymorphic type inference and containment / rank @@
+Normal rank
@@ Property / cites work @@
+Step-Indexed Kripke Model of Separation Logic for Storable Locks
+Normal rank
@@ Property / cites work @@
+Nominal techniques in Isabelle/HOL
@@ Property / cites work: Nominal techniques in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+An ideal model for recursive polymorphic types
@@ Property / cites work: An ideal model for recursive polymorphic types / rank @@
+Normal rank
@@ Property / cites work @@
+Region-based memory management
@@ Property / cites work: Region-based memory management / rank @@
+Normal rank
@@ Property / cites work @@
+CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
+Normal rank
@@ Property / cites work @@
+Realisability semantics of parametric polymorphism, general references and recursive types
+Normal rank
@@ Property / cites work @@
+Safe manual memory management in Cyclone
@@ Property / cites work: Safe manual memory management in Cyclone / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4912884