Stack Method in Program Semantics

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).