Abstraction in the Intel iAPX-432 Prototype Systems Implementation Language.

This report describes the abstraction mechanism of a prototype systems implementaiton language for Intels iAPX-432 microprocessor. Full exploitation of the 432s 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 languages support for these facilities is described in this project.