NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Formal modeling of virtual machinesSystematic software design can be based on the development of a 'hierarchy of virtual machines', each representing a 'level of abstraction' of the design process. The reported investigation presents the concept of 'data space' as a formal model for virtual machines. The presented model of a data space combines the notions of data type and mathematical machine to express the close interaction between data and control structures which takes place in a virtual machine. One of the main objectives of the investigation is to show that control-independent data type implementation is only of limited usefulness as an isolated tool of program development, and that the representation of data is generally dictated by the control context of a virtual machine. As a second objective, a better understanding is to be developed of virtual machine state structures than was heretofore provided by the view of the state space as a Cartesian product.
Document ID
19780069168
Document Type
Reprint (Version printed in journal)
Authors
Cremers, A. B. (Dortmund, Universitaet Dortmund, Germany)
Hibbard, T. N. (California Institute of Technology, Jet Propulsion Laboratory, Pasadena Calif., United States)
Date Acquired
August 9, 2013
Publication Date
September 1, 1978
Publication Information
Publication: IEEE Transactions on Software Engineering
Volume: SE-4
Subject Category
COMPUTER PROGRAMMING AND SOFTWARE
Funding Number(s)
CONTRACT_GRANT: N00014-77-C-0536
Distribution Limits
Public
Copyright
Other