Imperative abstractions for functional actions (Q604455): Difference between revisions

@@ Property / describes a project that uses @@
+ZRC
@@ Property / describes a project that uses: ZRC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2010.07.015
+Normal rank
@@ Property / OpenAlex ID @@
+W1971927827
@@ Property / OpenAlex ID: W1971927827 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic treatment of procedure refinement to support mechanical verification
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362882
@@ Property / cites work: Q4362882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192046
@@ Property / cites work: Q4192046 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of stream processing functions
@@ Property / cites work: The algebra of stream processing functions / rank @@
+Normal rank
@@ Property / cites work @@
+ZRC -- A refinement calculus for \(Z\)
@@ Property / cites work: ZRC -- A refinement calculus for \(Z\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Least reflexive points of relations
@@ Property / cites work: Least reflexive points of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+The under-appreciated unfold
@@ Property / cites work: The under-appreciated unfold / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of list iteration
@@ Property / cites work: On the power of list iteration / rank @@
+Normal rank
@@ Property / cites work @@
+A relation algebraic model of robust correctness
@@ Property / cites work: A relation algebraic model of robust correctness / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Relations
@@ Property / cites work: Lazy Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy UTP
@@ Property / cites work: Lazy UTP / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+Chain-complete posets and directed sets with applications
+Normal rank
@@ Property / cites work @@
+A categorical model for higher order imperative programming
+Normal rank
@@ Property / cites work @@
+The Genuine Sieve of Eratosthenes
@@ Property / cites work: The Genuine Sieve of Eratosthenes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4113375
@@ Property / cites work: Q4113375 / rank @@
+Normal rank
@@ Property / cites work @@
+Partiality. I: Embedding relation algebras
@@ Property / cites work: Partiality. I: Embedding relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362876
@@ Property / cites work: Q4362876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4041054
@@ Property / cites work: Q4041054 / rank @@
+Normal rank
@@ Property / cites work @@
+Power domains
@@ Property / cites work: Power domains / rank @@
+Normal rank