• DOI:10.1145/361011.361073
Corpus ID: 12680060

Formal requirements for virtualizable third generation architectures

@inproceedings{Popek1973FormalRF,
  title={Formal requirements for virtualizable third generation architectures},
  author={G. Popek and R. Goldberg},
  booktitle={CACM},
  year={1973}
}

• G. Popek, R. Goldberg
• Published in CACM 1973
• Computer Science

Virtual machine systems have been implemented on a limited number of third generation computer systems, e.g. CP-67 on the IBM 360/67. From previous empirical studies, it is known that certain third generation computer systems, e.g. the DEC PDP-10, cannot support a virtual machine system. In this paper, model of a third-generation-like computer system is developed. Formal techniques are used to derive precise sufficient conditions to test whether such an architecture can support virtual machines… Expand

View on ACM

courses.cs.washington.edu

Save to Library

Create Alert

Cite

Launch Research Feed