Command algebras, recursion and program transformation
type: Item
instance of: scholarly article
title: Command algebras, recursion and program transformation
zbMATH Open document ID: 0697.68023
DOI: 10.1007/BF01888217
author: W. H. Hesselink
published in: Formal Aspects of Computing
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 4143419
zbMATH Keywords: command algebras
zbMATH Keywords: program transformation
zbMATH Keywords: weakest preconditions
zbMATH Keywords: recursive procedures
zbMATH Keywords: nondeterminacy
MaRDI profile type: Publication
cites work: Ten Years of Hoare's Logic: A Survey—Part I
cites work: A calculus of refinements for program derivations
cites work: On the consistency of Koomen's fair abstraction rule
cites work: Q3899466
cites work: Q4144755
cites work: Q3962450
cites work: Q4692630
cites work: Q3925859
cites work: Interpretations of recursion under unbounded nondeterminacy
cites work: Predicate-transformer semantics of general recursion
cites work: Q5626277
cites work: Some Properties of Predicate Transformers
cites work: Q3226265
cites work: Q4099559
cites work: Q4124327
cites work: Data refinement by calculation
cites work: Q5631102
full work available at URL: https://doi.org/10.1007/bf01888217
OpenAlex ID: W1986499471
description: scientific article; zbMATH DE number 4143419