Check nearby libraries
Buy this book
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.
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Abstraction in the INTEL iAPX-432 prototype systems implementation language
1983, Naval Postgraduate School
in English
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
"NPS-52-83-004."
Cover title.
"April 1983."
Prepared for: Chief of Naval Research, Arlington, Virginia 22217.
Bibliography: p. 23-24.
"Approved for public release; distribution is unlimited."
Technical report; 1983.
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?July 31, 2014 | Created by ImportBot | import new book |