著者

竜田 真 Makoto Tatsuta 東北大学電気通信研究所

出版者

日本ソフトウェア科学会

雑誌

コンピュ-タソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.8, no.1, pp.p25-33, 1991-01

被引用文献数

3

著者

竜田 真 Makoto Tatsuta 東北大学電気通信研究所

出版者

日本ソフトウェア科学会

雑誌

コンピュ-タソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.8, no.2, pp.p136-142, 1991-03

被引用文献数

2

著者

疋田 輝雄 Teruo Hikita 明治大学理工学部情報科学科

出版者

日本ソフトウェア科学会

雑誌

コンピュ-タソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.8, no.1, pp.p34-40, 1991-01

著者

井田 哲雄 松野 年宏

出版者

一般社団法人日本ソフトウェア科学会

雑誌

コンピュ-タソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.8, no.2, pp.p149-163, 1991-03

---

本論文はMC/LISPと呼ぶCOMMON LISPに基づいて実現されたLISP処理系の翻訳系の構成を述べたものである.翻訳系はプログラム変換系とコード生成系より成っている.LISPのプログラムはFP/Cと呼ぶカテゴリ風プログラムに変換される.次にFP/Cのプログラムが翻訳関数によって翻訳されコード生成が行われる.プログラム変換は実行時の環境を単純なものとするために,および翻訳の過程を形式的に把握するために不可欠である.この考えに基づきLISPの基本的計算機構のプログラム変換の規則とコード生成の規則を形式的に与えている.