Name Identification for Languages with Explicit Scope Control
スポンサーリンク
概要
- 論文の詳細を見る
This paper describes basic algorithms for analyzing the scope of identifiers of block-structured languages. The scope rules treated here include closed scopes in addition to the classical open scopes. Name identification process establishes the relation between defining and applied occurrences according to the scope rules. Analysis of the scope rules related to data types is left to the semantic analysis and is not treated here. The algorithms are defined on the (abstract) parse tree which has been generated by the syntax analyzer and will be transformed in the course of later semantic processing. As the algorithms do not require any additional tables to pass information to other semantic routines, they would be most desirable for construction of the compiler front-end together with various semantic routines. In Section 1, objective of our research is presented. Section 2 introduces data structures of the parse tree and some notational conventions which will be used in describing our algorithms. In Section 3, a simple algorithm for the traditional open scope rules is described in order to clarify our idea. In Section 4, the closed scope rules in modern programming languages are treated. Section 5 is devoted to presenting more sophisticated algorithms which detect conflicts in declarations. These algorithms can be used in actual name identification routines. And the concluding remarks are given in Section.
- 一般社団法人情報処理学会の論文
- 1982-03-31
著者
関連論文
- Derivation of Efficient Pattern Matching Algorithms by Fully Lazy Evaluation with Lazy Memo-ization
- 3M-5 Bidirectional XML Transformation with Bi-X
- 3M-4 依存関係記述スキーマによる双方向XMLアプリケーションの開発(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
- 3M-3 双方向変換に基づくウェブパブリッシング支援システムVu-X(リーディングプロジェクト e-society:高信頼プログラミング言語と構造化文書変換技術,一般セッション,リーディングプロジェクト e-society)
- A Java Library for Bidirectional XML Transformation
- 神経系の双方向マルチスケールシミュレーションと100時間ワークショップ : 東京大学21世紀COEプログラム「情報科学技術戦略コア」
- 2. 情報科学技術戦略コア(21世紀卓越した情報研究拠点プログラムの目指す研究(前編))
- 情報科学技術戦略コア
- 1.マルチコア計算機と基本的な並列化技法(マルチコアを活かすお手軽並列プログラミング)
- 並列プログラムの候補生成と適合性検査による並列化
- 補関数の生成による複製機能付きプログラムの自動双方向化
- 6.双方向変換による高信頼構造化文書処理(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- Generator-of-generators に基づく Fortress ライブラリ
- リスト上の最大マーク付け問題を解く並列プログラムの導出
- 木スケルトンによるXPathクエリの並列化とその評価
- 東京大学 情報理工学系研究科 創造情報学専攻の紹介(ラボラトリー)
- 木上の双方向変換を利用したファイルマネージャの実現
- 木上の双方向変換を利用したファイルマネージャの実現
- データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案
- 閻魔 Webインタフェースによるプログラミング教育支援システム
- 決定論的2階パターンとプログラム変換への応用
- 木変換言語の双方向化に関する事例研究(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- Relationship between Lambda Hoisting and Fully Lazy Lambda Lifting
- Deriving a Functional Knuth-Morris-Pratt Algorithm by Transformation
- An Alternative Scheme for Evaluating Combinator Expressions
- Consistent Annotations for Scope Rules
- Name Identification for Languages with Explicit Scope Control