Accession Number:

ADA155167

Title:

The Formal Specification of an Abstract Machine: Design and Implementation.

Descriptive Note:

Master's thesis,

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

Report Date:

1984-12-01

Pagination or Media Count:

152.0

Abstract:

The high cost of porting software from one machine to another stems from the ad hoc way in which the programmers problem solving abstraction interacts with the machines physical resource abstraction. If this interaction could be formalized, the well known semantic gap would at least be better understood, if not narrowed significantly. This thesis applies techniques borrowed from contemporary research in abstract data type specification to design, specify and implement the physical resources of an abstract machine called AM. Additional keywords Algebraic semantics Software portability problem high level languages. Author

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE