%0 Journal Article
%T Stack Method in Program Semantics
%A Tang Tonggao
%A Zhao Zhaokeng
%J 计算机科学技术学报
%D 1987
%I 
%X 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 makea formal semantics for a real PASCAL(subset)which can run on a computer.By an example of programwith 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).
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=021148AEAC3F2EB5D80CD925936A1C78&yid=9C2DB0A0D5ABE6F8&vid=0B39A22176CE99FB&iid=CA4FD0336C81A37A&sid=987EDA49D8A7A635&eid=E84BBBDDD74F497C&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=0