Laws of Programming for References (Q2937790): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-03542-0_9
+Normal rank
@@ Property / OpenAlex ID @@
+W1637741363
@@ Property / OpenAlex ID: W1637741363 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Ownership confinement ensures representation independence for object-oriented programs
+Normal rank
@@ Property / cites work @@
+Local Reasoning for Global Invariants, Part I
@@ Property / cites work: Local Reasoning for Global Invariants, Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Simple relational correctness proofs for static analyses and program transformations
+Normal rank
@@ Property / cites work @@
+A logical analysis of aliasing in imperative higher-order functions
+Normal rank
@@ Property / cites work @@
+Algebraic reasoning for object-oriented programming
+Normal rank
@@ Property / cites work @@
+Q2721096
@@ Property / cites work: Q2721096 / rank @@
+Normal rank
@@ Property / cites work @@
+Sound refactorings
@@ Property / cites work: Sound refactorings / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+In praise of algebra
@@ Property / cites work: In praise of algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene algebra and its foundations
@@ Property / cites work: Concurrent Kleene algebra and its foundations / 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 @@
+The dynamic frames theory
@@ Property / cites work: The dynamic frames theory / rank @@
+Normal rank
@@ Property / cites work @@
+On Hoare logic and Kleene algebra with tests
@@ Property / cites work: On Hoare logic and Kleene algebra with tests / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of Programming for References
@@ Property / cites work: Laws of Programming for References / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3038594
@@ Property / cites work: Q3038594 / rank @@
+Normal rank
@@ Property / cites work @@
+Refactoring and representation independence for class hierarchies
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness for Algebraic Theories of Local State
+Normal rank