計算過程の部分評価 : コンパイラ・コンパイラの一方法
スポンサーリンク
概要
- 論文の詳細を見る
インタープリタを用いて形式的に記述されたプログラミング言語のセマンティクスと現実のコンパイラとの関係およびインタープリタからコンパイラを自動的に作成する方法について述べる.この方法は計算過程の部分評価の一種である.この方法を応用してできるコンパイラ・コンパイラと既存のコンパイラ・コンパイラの相違は,プログラミング言語のセマンティクスを記述するさいに,既存のものが翻訳過程を記述しなければならないのに対して,本方式によるものは評価手順を記述すればよいことである.
- 一般社団法人日本ソフトウェア科学会の論文
- 2004-09-28
著者
関連論文
- 新しいプログラミング・パラダイムによる共通問題の設計
- PAD (Problem Analysis Diagram)によるプログラムの設計および作成
- 一般部分計算法 (プログラム合成/変換)
- 計算過程の部分評価 : コンパイラ・コンパイラの一方法
- Structure and Interpretation of Computer Programs, H.Abelson and G.Sussman with J.Sussman, The MIT Press, 1985.
- プログラム設計法 PAD/PAM (プログラム設計技法)
- 構造化プログラム図式
- 問題分析法PAMによるプログラムの設計と審査
- Variable Length Storage Allocator と その Garbage Collector