A simple fixpoint argument without the restriction to continuity
type: Item
instance of: scholarly article
title: A simple fixpoint argument without the restriction to continuity
zbMATH Open document ID: 0591.68007
DOI: 10.1007/BF00268074
author: A. J. M. van Gasteren
author: Edsger W. Dijkstra
published in: Acta Informatica
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3949672
zbMATH Keywords: programming language semantics
zbMATH Keywords: unbounded nondeterminacy
zbMATH Keywords: noncontinuous predicate transformers
zbMATH Keywords: fixpoint equation
zbMATH Keywords: weakest precondition
zbMATH Keywords: transfinite ordinals
MaRDI profile type: Publication
cites work: Q3898009
cites work: Proving total correctness of nondeterministic programs in infinitary logic
cites work: A Weaker Precondition for Loops
cites work: Q4144755
cites work: Q5584402
cites work: Q3906397
cites work: Q3907077
cites work: Q3969890
cites work: A lattice-theoretical fixpoint theorem and its applications
Recommended article: Q3719822
Recommended article: Q5753211
Recommended article: Q3129807
Recommended article: Q3420808
Recommended article: Q3425660
Recommended article: Q4461669
Recommended article: Q5346635
Recommended article: Q3604113
Recommended article: Q3178459
Recommended article: Q4008414
description: scientific article; zbMATH DE number 3949672