On the definition of the variables used and set by a computation
From MaRDI portal
Publication:5637882
DOI10.1007/BF01706078zbMath0229.68015MaRDI QIDQ5637882
Publication date: 1972
Published in: Mathematical Systems Theory (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68N01: General topics in the theory of software
Related Items
On the formal definition of dependencies between the control and information structure of a data space, Data spaces with indirect addressing
Cites Work