ページ記述言語プログラムの等価性に関する一考察
スポンサーリンク
概要
- 論文の詳細を見る
文書構造を表すプログラミング言語の一つにページ記述言語がある.我々はページ記述言語Interpressに操作的意味を与え,その意味にしたがってInterpressのプログラムをPostScriptで解釈する方法を確立した.さらにその技法を用いて,InterpressからPostScriptへ自動的に変換するソフトウェアip2psを作成した.本稿では,ip2psの変換等価性をモナドを用いた圈論的意味論で示すことを試みた.
- 一般社団法人情報処理学会の論文
- 1995-01-27