On the definition of the variables used and set by a computation

DOI10.1007/BF01706078zbMath0229.68015MaRDI QIDQ5637882

Ward Douglas Maurer

Publication date: 1972

Published in: Mathematical Systems Theory (Search for Journal in Brave)

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) General topics in the theory of software (68N01)

Related Items (2)

On the formal definition of dependencies between the control and information structure of a data space ⋮ Data spaces with indirect addressing

Cites Work

• A Theory of Computer Instructions
• Random-Access Stored-Program Machines, an Approach to Programming Languages

This page was built for publication: On the definition of the variables used and set by a computation