Kleene getting lazy
type: Item
instance of: scholarly article
title: Kleene getting lazy
zbMATH Open document ID: 1109.68060
author: Bernhard Möller
published in: Science of Computer Programming
publication date: 2007-03-12T00:00:00Z
full work available at URL: 39117.pdf
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5133003
zbMATH Keywords: algebraic semantics
zbMATH Keywords: lazy evaluation
zbMATH Keywords: Kleene algebra
zbMATH Keywords: omega algebra
zbMATH Keywords: modal operators
zbMATH Keywords: predicate transformers
MaRDI profile type: Publication
OpenAlex ID: W2085133105
DOI: 10.1016/J.SCICO.2006.01.010
Recommended article: Mathematics of Program Construction
Recommended article: Lazy narrowing with simplification
Recommended article: Q2766772
Recommended article: Implementation of Functional Languages
Recommended article: Complete laziness: a natural semantics
Recommended article: Lazy Synthesis
Recommended article: Improving the lazy Krivine machine
Recommended article: Q3777490
Recommended article: Lazy abstraction
description: scientific article; zbMATH DE number 5133003