Verifying traits: an incremental proof system for fine-grained reuse (Q736803): Difference between revisions

@@ Property / cites work @@
+Verification of sequential and concurrent programs
+Normal rank
@@ Property / cites work @@
+Creol: A type-safe object-oriented model for distributed concurrent systems
+Normal rank
@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+On flexible dynamic trait replacement for Java-like languages
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Combining traits with boxes and ownership types in a Java-like setting
+Normal rank
@@ Property / cites work @@
+Extending FeatherTrait Java with interfaces
@@ Property / cites work: Extending FeatherTrait Java with interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+KeY: A Formal Method for Object-Oriented Systems
@@ Property / cites work: KeY: A Formal Method for Object-Oriented Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy behavioral subtyping
@@ Property / cites work: Lazy behavioral subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying traits: an incremental proof system for fine-grained reuse
+Normal rank
@@ Property / cites work @@
+Incremental reasoning with lazy behavioral subtyping for multiple inheritance
+Normal rank
@@ Property / cites work @@
+Behavioral interface specification languages
@@ Property / cites work: Behavioral interface specification languages / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Separation Logic for Multiple Inheritance
@@ Property / cites work: Separation Logic for Multiple Inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
+Normal rank
@@ Property / cites work @@
+Separation logic, abstraction and inheritance
@@ Property / cites work: Separation logic, abstraction and inheritance / rank @@
+Normal rank