Data spaces with indirect addressing

Abstract

A data space is a mathematical model for virtual machines as they arise in programming. It consists of a set of objects (states), a set of descriptors, and a control. In this general framework, formal definitions of both fixed-depth and variable-depth indirect addressing are developed. The former definition serves as a model for simple hardware spaces… (More)
DOI: 10.1007/BF01776571

Topics

1 Figure or Table

Cite this paper

@article{Cremers1978DataSW, title={Data spaces with indirect addressing}, author={Armin B. Cremers and Thomas N. Hibbard}, journal={Mathematical systems theory}, year={1978}, volume={12}, pages={151-173} }