Kleene getting lazy
From MaRDI portal
Recommendations
- Mathematics of Program Construction
- Lazy narrowing with simplification
- scientific article; zbMATH DE number 1696587
- Implementation of Functional Languages
- Complete laziness: a natural semantics
- Lazy synthesis
- Improving the lazy Krivine machine
- scientific article; zbMATH DE number 4039338
- Lazy abstraction
Cited in
(26)- On the Structure of Demonic Refinement Algebras with Enabledness and Termination
- Shades of iteration: from Elgot to Kleene
- Lazy narrowing with simplification
- Mathematics of Program Construction
- Fixpoints for general correctness
- A sketch of a dynamic epistemic semiring
- Fixing Zeno gaps
- Domain Axioms for a Family of Near-Semirings
- Algebraic coherent confluence and higher globular Kleene algebras
- An algebra of hybrid systems
- An algebraic approach to computations with progress
- Algebraic separation logic
- Non-termination in Idempotent Semirings
- Algebras for iteration and infinite computations
- Abstract representation theorems for demonic refinement algebras
- Determinisation of relational substitutions in ordered categories with domain
- Enabledness and termination in refinement algebra
- Non-associative Kleene Algebra and Temporal Logics
- Unifying lazy and strict computations
- To be or not to be …lazy (In a Parallel Context)
- Weak Kleene Algebra and Computation Trees
- Lazy Semiring Neighbours and Some Applications
- Infinite executions of lazy and strict computations
- Algebraic neighbourhood logic
- An algebraic approach to multirelations and their properties
- Automated Reasoning for Hybrid Systems — Two Case Studies —
This page was built for publication: Kleene getting lazy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q870283)
