Universe Types for Topology and Encapsulation (Q3602996): Difference between revisions

@@ Property / cites work @@
+Scoped types and aspects for real-time Java memory management
+Normal rank
@@ Property / cites work @@
+Representation independence, confinement and access control [extended abstract]
+Normal rank
@@ Property / cites work @@
+Ownership types for object encapsulation
@@ Property / cites work: Ownership types for object encapsulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2779232
@@ Property / cites work: Q2779232 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250669
@@ Property / cites work: Q4250669 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic theory of sequential control
@@ Property / cites work: A syntactic theory of sequential control / rank @@
+Normal rank
@@ Property / cites work @@
+Protecting representation with effect encapsulation
+Normal rank
@@ Property / cites work @@
+Modular specification and verification of object-oriented programs
+Normal rank
@@ Property / cites work @@
+Modular invariants for layered object structures
@@ Property / cites work: Modular invariants for layered object structures / rank @@
+Normal rank
@@ Property / cites work @@
+Featherweight generic confinement
@@ Property / cites work: Featherweight generic confinement / rank @@
+Normal rank