Data spaces with indirect addressing

DOI10.1007/BF01776571MaRDI QIDQ4174206zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• A Theory of Computer Instructions
• Bounded action machines. II: The basic structure of tapeless computers
• Bounded action machines: toward an abstract theory of computer structure
• scientific article; zbMATH DE number 3523120 (Why is no real title available?)
• scientific article; zbMATH DE number 3449742 (Why is no real title available?)
• scientific article; zbMATH DE number 3449743 (Why is no real title available?)
• On the definition of the variables used and set by a computation
• On the formal definition of dependencies between the control and information structure of a data space
• Orthogonality of information structures
• Random-Access Stored-Program Machines, an Approach to Programming Languages
• Über die Vernetzungsstruktur von Maschinen

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

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