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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1983
Accession Number
ADA128135

Entities

People

  • Bruce J MacLennan

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • California
  • Character Generators
  • Computer Programming
  • Computer Science
  • Computers
  • Electrical Engineering
  • Environment
  • Language
  • Military Research
  • Natural Languages
  • Particles
  • Programming Languages
  • Prototypes
  • Quarks
  • Real Numbers
  • Sequences
  • Specifications

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Irregular Warfare and Special Operations Cyberspace Operations against Adversarial Threats.
  • Parallel and Distributed Computing.