Design and Implementation of a 'C' Compiler for an Abstract Machine.
Abstract
The technique of formal abstraction provides an appropriate tool for specifying an interface between layers of computer hardware and software. An abstract machine called AM has been built to address the problem of portability and reusability of software. This thesis is the design and implementation of a C Compiler for this abstract machine. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 20, 1986
- Accession Number
- ADA174121
Entities
People
- Metin G. Ozisik
Organizations
- Naval Postgraduate School