A Theory of Computer Instructions

DOI10.1145/321328.321334MaRDI QIDQ5568400zbMATH OpenOpenAlexFDO

Authors Ward Douglas Maurer

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

Mathematics Subject Classification ID

General theory of computer systems (68M01) Mathematical problems of computer architecture (68M07)

Cited in

(16)

• Orthogonality of information structures
• On the formal definition of dependencies between the control and information structure of a data space
• The validity of return address schemes
• Thread algebra for strategic interleaving
• Synchronous cooperation for explicit multi-threading
• Simulating Turing machines on Maurer machines
• Bounded action machines: toward an abstract theory of computer structure
• Functions computable by a computer
• On the operating unit size of load/store architectures
• Data spaces with indirect addressing
• A survey of state vectors
• Maurer computers for pipelined instruction processing
• On the definition of the variables used and set by a computation
• A semantic extension of BNF
• Partially defined computer instructions and guards
• Simple section interchange and properties of non-computable functions

This page was built for publication: A Theory of Computer Instructions

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