Refactoring and representation independence for class hierarchies (Q428866): Difference between revisions

@@ 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.1016/j.tcs.2012.02.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2032691771
@@ Property / OpenAlex ID: W2032691771 / rank @@
+Normal rank
@@ Property / cites work @@
+State-dependent representation independence
@@ Property / cites work: State-dependent representation independence / rank @@
+Normal rank
@@ Property / cites work @@
+Ownership types for object encapsulation
@@ Property / cites work: Ownership types for object encapsulation / rank @@
+Normal rank
@@ Property / cites work @@
+Ownership confinement ensures representation independence for object-oriented programs
+Normal rank
@@ Property / cites work @@
+Separation logic and abstraction
@@ Property / cites work: Separation logic and abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic reasoning for object-oriented programming
+Normal rank
@@ Property / cites work @@
+Relational Parametricity and Separation Logic
@@ Property / cites work: Relational Parametricity and Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Sound refactorings
@@ Property / cites work: Sound refactorings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808846
@@ Property / cites work: Q4808846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2779232
@@ Property / cites work: Q2779232 / rank @@
+Normal rank
@@ Property / cites work @@
+Using CafeOBJ to Mechanise Refactoring Proofs and Application
+Normal rank
@@ Property / cites work @@
+A relational modal logic for higher-order stateful ADTs
+Normal rank
@@ Property / cites work @@
+Blaming the client: on data refinement in the presence of pointers
+Normal rank
@@ Property / cites work @@
+Q4708513
@@ Property / cites work: Q4708513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417801
@@ Property / cites work: Q4417801 / rank @@
+Normal rank
@@ Property / cites work @@
+rCOS: a refinement calculus of object systems
@@ Property / cites work: rCOS: a refinement calculus of object systems / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Small bisimulations for reasoning about higher-order imperative programs
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Refactoring and representation independence for class hierarchies
+Normal rank
@@ Property / cites work @@
+A bisimulation for type abstraction and recursion
@@ Property / cites work: A bisimulation for type abstraction and recursion / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References
+Normal rank