A note on the semantic definition of side effects
type: Item
instance of: scholarly article
title: A note on the semantic definition of side effects
zbMATH Open document ID: 0327.68026
DOI: 10.1016/0020-0190(76)90024-7
author: R. J. Cunningham
author: M. E. J. Gilford
published in: Information Processing Letters
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3513308
MaRDI profile type: MaRDI publication profile
full work available at URL: 0020-0190(76)90024-7
OpenAlex ID: W1967743296
cites work: An axiomatic definition of the programming language Pascal
description: scientific article; zbMATH DE number 3513308