Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare
type: Item
instance of: scholarly article
title: Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare
zbMATH Open document ID: 0326.68011
DOI: 10.1007/BF00288660
author: E. A. Ashcroft
author: Tony Hoare
author: M. Clint
published in: Acta Informatica
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3511569
MaRDI profile type: Publication
cites work: Program proving: KJumps and functions
cites work: Guarded commands, nondeterminacy and formal derivation of programs
full work available at URL: https://doi.org/10.1007/bf00288660
OpenAlex ID: W2023441400
description: scientific article; zbMATH DE number 3511569