Contributions

  • Naval Postgraduate School (U.S.) - Contributor

Publication

1983 - Naval Postgraduate School, Monterey, Calif, California

Language

English

Word Count

6,500 words, Guess

Page Count

26 pages

Identifiers

Alternate 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.

Subjects

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!