Abstract
An operational model which allows the complete formal definition of the full syntax and, particularly, semantics of programming languages is described. Both its syntactic and semantic parts are based on so-called linked-forest manipulation systems which allow the definition of mappings on forests. The idea of “linking” is crucial for the given model, we represent not only abstract programs but also intermediate states of our system (abstract computer) by labelled forests with pointers.
†This work was supported by the National Research Council of Canada, Grant No. A-7403.
†This work was supported by the National Research Council of Canada, Grant No. A-7403.
Notes
†This work was supported by the National Research Council of Canada, Grant No. A-7403.