A Theory of Computer Instructions
From MaRDI portal
Publication:5568400
DOI10.1145/321328.321334zbMath0178.52103OpenAlexW2088090496MaRDI QIDQ5568400
Publication date: 1966
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1721.1/5910
Related Items
On the definition of the variables used and set by a computation, The validity of return address schemes, Orthogonality of information structures, A semantic extension of BNF, A survey of state vectors, Thread algebra for strategic interleaving, Synchronous cooperation for explicit multi-threading, On the operating unit size of load/store architectures, Simulating Turing machines on Maurer machines, Simple section interchange and properties of non-computable functions, On the formal definition of dependencies between the control and information structure of a data space, Maurer computers for pipelined instruction processing, Data spaces with indirect addressing, Bounded action machines: toward an abstract theory of computer structure, Functions computable by a computer
Cites Work
