Accession Number : ADA184691
Title : Design and Implementation of a Debugger for an Abstract Machine.
Descriptive Note : Master's thesis,
Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Personal Author(s) : Victrum,Stanley
PDF Url : ADA184691
Report Date : Jun 1987
Pagination or Media Count : 138
Abstract : Conventional computer architectures do not allow us to unambiguously express our intent in a computer program. The combination of artificial data types and resource models force ambiguity and data structure over-loading. For example, the semantics of a stack combine those of an array structure and a last-in-first-out queue, while the entire stack structure is implemented in computer memory as a group of fixed length cells. This and other machine-data type dependencies can markedly hamper software portability. To overcome these obstacles, a means of formally specifying a computing machine's physical resources in an implementation independent way has been proposed. Creating an abstraction of the computer's physical resources in this manner lets the implementor of the specifications clearly determine the intent of programs written for it. This abstraction has come to be known as the Abstract Machine or AM.
Descriptors : *DEBUGGING(COMPUTERS), *SYSTEMS ENGINEERING, INTERFACES, SEMANTICS, SPECIFICATIONS, COMPUTER FILES, THESES
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE