Unifying Lazy and Strict Computations (Q2915133): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / 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.1007/978-3-642-33314-9_2
+Normal rank
@@ Property / OpenAlex ID @@
+W67633796
@@ Property / OpenAlex ID: W67633796 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning algebraically about loops
@@ Property / cites work: Reasoning algebraically about loops / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721093
@@ Property / cites work: Q2721093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Internal axioms for domain semirings
@@ Property / cites work: Internal axioms for domain semirings / 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 @@
+Imperative abstractions for functional actions
@@ Property / cites work: Imperative abstractions for functional actions / rank @@
+Normal rank
@@ Property / cites work @@
+Partial, Total and General Correctness
@@ Property / cites work: Partial, Total and General Correctness / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Recursion in Partial, Total and General Correctness
+Normal rank
@@ Property / cites work @@
+Fixpoints for general correctness
@@ Property / cites work: Fixpoints for general correctness / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Correctness Statements
@@ Property / cites work: Unifying Correctness Statements / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras for iteration and infinite computations
@@ Property / cites work: Algebras for iteration and infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Theories of Programming That Distinguish Nontermination and Abort
+Normal rank
@@ Property / cites work @@
+Q4493873
@@ Property / cites work: Q4493873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebra of hybrid systems
@@ Property / cites work: An algebra of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation-algebraic semantics
@@ Property / cites work: Relation-algebraic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene getting lazy
@@ Property / cites work: Kleene getting lazy / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank