A Tree-Structured Model of Programming Language Semantics.

Abstract

The semantics of an Algol-like language is modelled. The modelling of the semantics of any program in the language is divided into three parts: translation, loading, and running. Execution is defined on a binary tree-structured representation of the original program. Nodes introduced during the translation allow information on the local structure of programs to be carried along. Some of the elements of an intuitive proof of the correctness of model are also presented.

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1976
Accession Number
ADA027961

Entities

People

  • Jerry H. Shelton

Organizations

  • University of Wisconsin–Madison

Tags

DTIC Thesaurus Topics

  • Computer Languages
  • Computer Programming
  • Formal Languages
  • Language
  • Linguistics
  • Programming Languages
  • Semantics
  • Translations
  • Trees (Data Structures)

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Computer Science.