A Tree-Structured Model of Programming Language Semantics.

摘要

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.