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

@@ Property / DOI @@
-.1007/s00165-013-0278-3
@@ Property / DOI: 10.1007/s00165-013-0278-3 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W1967305746
@@ Property / OpenAlex ID: W1967305746 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00165-013-0278-3
@@ Property / DOI: 10.1007/S00165-013-0278-3 / rank @@
+Normal rank