Abstraction in the INTEL iAPX-432 prototype systems implementation language
By: Bruce J. MacLennan
Contributors: Naval Postgraduate School (U.S.)
Publisher: Naval Postgraduate School
Published: 1983
Place of publication: Monterey, Calif
Language: eng
Number of pages: 26
Subjects: Abstraction; Programming languages (Electronic computers); INTEL iAPX-432 (Computer)
Other titles: NPS-52-83-004.
Description: This report describes the abstraction mechanism of a prototype systems implementaiton language for Intel's iAPX-432 microprocessor. Full exploitation of the 432's facilities places many demands on a language intended for systems implementation. The 432 is a capability-based machine, with hardware-enforced typing of large objects, dynamically instantiated domains (i.e., packages), hardware-enforced information information hiding (seals), and hardware-supported, software-defined access-rights (trademarks). The prototype language's support for these facilities is described in this project.
Notes: "NPS-52-83-004."

Cover title.

"April 1983."

Prepared for: Chief of Naval Research, Arlington, Virginia 22217.

Bibliography: p. 23-24.

"Approved for public release; distribution is unlimited."

Technical report; 1983.