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

Abstract

The high cost of porting software from one machine to another stems from the ad hoc way in which the programmer's problem solving abstraction interacts with the machine's 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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1984
Accession Number
ADA155167

Entities

People

  • J. M. Yurchak

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Advanced Electronics
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Assembly Languages
  • California
  • Computer Architecture
  • Computer Programming
  • Computer Science
  • Computers
  • Grammars
  • High Level Languages
  • Instruction Set Architecture
  • Instructions
  • Language
  • Operating Systems
  • Programming Languages
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Parallel and Distributed Computing.
  • Software Engineering.
  • Systems Analysis and Design