Abstraction in the INTEL iAPX-432 prototype systems implementation language
Loading...
Authors
MacLennan, Bruce J.
Subjects
Abstract Type Language, Extensible Languages, Classes, Information Hiding,
Trademarks, Seals, Capabilities, Values and Objects, Object-Oriented Programming,
Intel iAPX-432, Systems Implementation Languages, Protection, Encapsulation, Packages.
Advisors
Date of Issue
1983-04
Date
1983-04
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
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
Type
Technical Report
Description
Series/Report No
Department
Computer Science
Identifiers
NPS Report Number
NPS-52-83-004
Sponsors
Prepared for: Chief of Naval Research, Arlington, Virginia 22217.
Funder
61152N: RROOO-0 1-100, N0001483WR30104
Format
26 p. ; 28 cm.
Citation
Distribution Statement
Approved for public release; distribution is unlimited.