Data spaces with indirect addressing

DOI10.1007/BF01776571zbMath0392.68005OpenAlexW2087806085MaRDI QIDQ4174206

Armin B. Cremers, Thomas N. Hibbard

Publication date: 1978

Published in: Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01776571

zbMATH Keywords

Data SpacesIndirect AddressingVirtual Machines

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Orthogonality of information structures
• On the formal definition of dependencies between the control and information structure of a data space
• Über die Vernetzungsstruktur von Maschinen
• Bounded action machines: toward an abstract theory of computer structure
• Bounded action machines. II: The basic structure of tapeless computers
• A Theory of Computer Instructions
• Random-Access Stored-Program Machines, an Approach to Programming Languages
• On the definition of the variables used and set by a computation

This page was built for publication: Data spaces with indirect addressing