用形式语义探讨局部变量的作用域

Discusses of Local Variable Scope with Formal Semantics

本文采用形式语义研究方法,结合实例重点探讨了高级语言程序设计中局部变量在语句块中的作用域问题,从而帮助高级语言程序学习者从另一个角度分析局部变量的作用域。

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.