Stack method in program semantics (Q1085598)

In this paper, we describe firstly a formal concept of stack and introduce some operational rules on it. Then we extend the denotational semantics to ''the denotational semantics with stacks'', by which we make a formal semantics for a real PASCAL (subset) which can run on a computer. By an example of program with procedures it will be seen that our method can be used to describe the basic principles of compiling. Finally, we have succeeded in building a formal semantics model of a PROLOG (subset).