A note on the semantic definition of side effects

DOI10.1016/0020-0190(76)90024-7zbMath0327.68026OpenAlexW1967743296MaRDI QIDQ1226385

M. E. J. Gilford, R. J. Cunningham

Publication date: 1976

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(76)90024-7

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

A note on the semantic definition of side effects

Cites Work

• A note on the semantic definition of side effects
• An axiomatic definition of the programming language Pascal

This page was built for publication: A note on the semantic definition of side effects