The following pages link to A Theory of Computer Instructions (Q5568400):
Displayed 15 items.
- A survey of state vectors (Q458456) (← links)
- Simple section interchange and properties of non-computable functions (Q988200) (← links)
- Orthogonality of information structures (Q1141477) (← links)
- On the formal definition of dependencies between the control and information structure of a data space (Q1242666) (← links)
- The validity of return address schemes (Q1394113) (← links)
- Thread algebra for strategic interleaving (Q2461536) (← links)
- Synchronous cooperation for explicit multi-threading (Q2464036) (← links)
- Simulating Turing machines on Maurer machines (Q2480963) (← links)
- Bounded action machines: toward an abstract theory of computer structure (Q2528855) (← links)
- Functions computable by a computer (Q2558001) (← links)
- On the operating unit size of load/store architectures (Q3564342) (← links)
- Data spaces with indirect addressing (Q4174206) (← links)
- Maurer computers for pipelined instruction processing (Q5458071) (← links)
- On the definition of the variables used and set by a computation (Q5637882) (← links)
- A semantic extension of BNF (Q5678417) (← links)