Design and Implementation of a Debugger for an Abstract Machine.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1987
Accession Number
ADA184691

Entities

People

  • Stanley Victrum

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • California
  • Computer Architecture
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Computing System Architectures
  • Debugging
  • Environment
  • Language
  • Navy
  • Programming Languages
  • Security
  • Specifications
  • Standards
  • United States

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Programming and Software Development.
  • Software Engineering.
  • Systems Analysis and Design