Consistent Annotations for Scope Rules

概要

論文の詳細を見る
This paper gives several consistent specifications for the scope rules of block-structured languages. They are considered as annotations for the scope rules defined in existing languages. Annotations will help the user to understand the scope rules and give unambiguous definitions of the rules to the implementor. Our annotations aim at providing a concise description for the user and deriving efficient algorithms for iinplmlenting the scope analysis routines in compilers. In Section 1, the motivation of our research is presented. Section 2 introduces a simple model for the scope and gives several definitions including one for the traditional scope rules. In Section 3, annotations using simple operators are presented and their consistency is proved. Section 4 gives another kind of annotation which is proved to be corlsistent with the previous ones. This is useful in implemnenting scope analysis routines. In Section 5, a new kind of scope rules is introduced and annotations developed in previous sections are modified. Section 6 is devoted to discussing the scopes not treated in this paper. And the concluding remarks are given in Section 7.
一般社団法人情報処理学会の論文
1982-06-30