Pages that link to "Item:Q5586344"
From MaRDI portal
The following pages link to Random-Access Stored-Program Machines, an Approach to Programming Languages (Q5586344):
Displayed 23 items.
- A survey of state vectors (Q458456) (← links)
- Calvin C. Elgot (1922-1980) (Q788706) (← links)
- In memoriam Calvin C. Elgot (Q1154455) (← links)
- Nonexistence of program optimizers in several abstract settings (Q1231391) (← 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)
- Predecessor machines (Q1394128) (← links)
- Theory of formal grammars (Q1846334) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Towards a theory of semantics and compilers for programming languages (Q2532605) (← links)
- Subrecursive programming languages. II. On program size (Q2546770) (← links)
- Sequential and jumping machines and their relation to computers (Q2554954) (← links)
- Berechnung und Programm. II (Q2559922) (← links)
- Remarks on Testing Probabilistic Processes (Q2864156) (← links)
- Programs=data=first-class citizens in a computational world (Q2941589) (← links)
- From Turing machines to computer viruses (Q2941590) (← links)
- Abraham Robinson, 1918-1974 (Q4128770) (← links)
- Data spaces with indirect addressing (Q4174206) (← links)
- Semantics of context-free languages (Q5555691) (← links)
- Computational complexity of random access stored program machines (Q5627619) (← links)
- On the definition of the variables used and set by a computation (Q5637882) (← links)
- Modeling of storage properties of higher-level languages (Q5679694) (← links)