Accession Number:

ADA128135

Title:

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

Descriptive Note:

Technical rept.,

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

Report Date:

1983-04-01

Pagination or Media Count:

29.0

Abstract:

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.

Subject Categories:

  • Administration and Management
  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE