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

@@ Property / describes a project that uses @@
+Featherweight Java
@@ Property / describes a project that uses: Featherweight Java / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-72952-5_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1831903582
@@ Property / OpenAlex ID: W1831903582 / rank @@
+Normal rank
@@ 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