A Refinement Methodology for Object-Oriented Programs (Q3067544): Difference between revisions

@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and verification challenges for sequential object-oriented programs
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+A Refinement Methodology for Object-Oriented Programs
+Normal rank
@@ Property / cites work @@
+Polymorphic type, region and effect inference
@@ Property / cites work: Polymorphic type, region and effect inference / rank @@
+Normal rank
@@ Property / cites work @@
+Region-based memory management
@@ Property / cites work: Region-based memory management / rank @@
+Normal rank