A Representation-Independent Behavioral Semantics for Object-Oriented Components (Q5428910): Difference between revisions

@@ Property / cites work @@
+Abstract interface behavior of object-oriented languages with monitors
+Normal rank
@@ Property / cites work @@
+Class refinement as semantics of correct object substitutability
+Normal rank
@@ Property / cites work @@
+Ownership confinement ensures representation independence for object-oriented programs
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804914
@@ Property / cites work: Q4804914 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2779232
@@ Property / cites work: Q2779232 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular specification and verification of object-oriented programs
+Normal rank
@@ Property / cites work @@
+Infering Ownership Types for Encapsulated Object-Oriented Program Components
+Normal rank