ページ記述言語プログラムの等価性に関する一考察

• 伊知地 宏

  富士ゼロックス株式会社システム・コミュニケーション研究所

書誌事項

タイトル別名

• On Proving Equivalence of Programs in Page Description Languages

抄録

文書構造を表すプログラミング言語の一つにページ記述言語がある.我々はページ記述言語Interpressに操作的意味を与え,その意味にしたがってInterpressのプログラムをPostScriptで解釈する方法を確立した.さらにその技法を用いて,InterpressからPostScriptへ自動的に変換するソフトウェアip2psを作成した.本稿では,ip2psの変換等価性をモナドを用いた圈論的意味論で示すことを試みた.

収録刊行物

• 情報処理学会研究報告. [プログラミング-言語基礎実践-]

  情報処理学会研究報告. [プログラミング-言語基礎実践-] 95 (15), 1-10, 1995-01-27

  一般社団法人情報処理学会

詳細情報

• CRID: 1573668926984206208
• NII論文ID: 110002929567
• NII書誌ID: AN10464060
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles