摘要
本文采用形式语义研究方法,结合实例重点探讨了高级语言程序设计中局部变量在语句块中的作用域问题,从而帮助高级语言程序学习者从另一个角度分析局部变量的作用域。
This paper mainly discussed the high-level language programming local variables in blocks of statements with formal semantics method and practical examples,in order to help learners of a high level language program from another perspective to analyze local variables scope.
出处
《楚雄师范学院学报》
2011年第6期1-4,共4页
Journal of Chuxiong Normal University
关键词
形式语义
操作语义
局部变量
formal semantics
operational semantics
local variable