A graph-based generic type system for object-oriented programs (Q2418638): Difference between revisions

@@ Property / cites work @@
+Q4934618
@@ Property / cites work: Q4934618 / 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 @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Numbering matters
@@ Property / cites work: Numbering matters / rank @@
+Normal rank
@@ Property / cites work @@
+RCOS: a formal model-driven engineering method for component-based software
+Normal rank
@@ Property / cites work @@
+Graph transformations for object-oriented refinement
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Safety for FJ and FGJ
@@ Property / cites work: Type Safety for FJ and FGJ / rank @@
+Normal rank
@@ Property / cites work @@
+Q3046755
@@ Property / cites work: Q3046755 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification of Object-Oriented Graph Grammars Specifications
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Defining Object-Oriented Execution Semantics Using Graph Transformations
+Normal rank
@@ Property / cites work @@
+Q4438777
@@ Property / cites work: Q4438777 / rank @@
+Normal rank
@@ Property / cites work @@
+A graph transformation approach to software architecture reconfiguration
+Normal rank
@@ Property / cites work @@
+Q3416072
@@ Property / cites work: Q3416072 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank