A note on the semantic definition of side effects

DOI10.1016/0020-0190(76)90024-7zbMATH Open0327.68026OpenAlexW1967743296MaRDI QIDQ1226385FDOQ1226385

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)

Cites Work

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

Cited In (1)

• A note on the semantic definition of side effects

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1226385)