Kleene getting lazy
From MaRDI portal
Publication:870283
DOI10.1016/J.SCICO.2006.01.010zbMATH Open1109.68060OpenAlexW2085133105MaRDI QIDQ870283FDOQ870283
Publication date: 12 March 2007
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/files/39117/39117.pdf
Cited In (23)
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination
- Shades of iteration: from Elgot to Kleene
- Lazy narrowing with simplification
- Fixpoints for general correctness
- A sketch of a dynamic epistemic semiring
- Domain Axioms for a Family of Near-Semirings
- Algebraic coherent confluence and higher globular Kleene algebras
- Fixing Zeno gaps
- An algebra of hybrid systems
- An algebraic approach to computations with progress
- Non-termination in Idempotent Semirings
- Algebraic separation logic
- 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
- To be or not to be …lazy (In a Parallel Context)
- Infinite executions of lazy and strict computations
- Algebraic neighbourhood logic
- Unifying Lazy and Strict Computations
- Automated Reasoning for Hybrid Systems — Two Case Studies —
- An algebraic approach to multirelations and their properties
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Lazy abstraction 👍 👎
- Mathematics of Program Construction 👍 👎
- Improving the lazy Krivine machine 👍 👎
- Implementation of Functional Languages 👍 👎
- Complete laziness: a natural semantics 👍 👎
- Lazy Synthesis 👍 👎
- Lazy narrowing with simplification 👍 👎
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)
