ページ記述言語プログラムの等価性に関する一考察  [in Japanese] On Proving Equivalence of Programs in Page Description Languages  [in Japanese]

    • 伊知地 宏 Ichiji Hiroshi
    • 富士ゼロックス株式会社システム・コミュニケーション研究所 Systems & Communications Laboratory Fuji Xerox, Co., Ltd.

Abstract

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

A page description language is a programming language for representations of document structures. We present the operational semantics for Interpress, which is one of page description languages, and the techniques of interpreting Interpress with PostScript based on this semantics. Ip2ps which is derived from these techniques is an automatic program transformation software from Interpress program to PostScript one. In this paper we try to prove the equivalence of programs on ip2ps using a categorical semantics with monads.

Journal

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

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

Information Processing Society of Japan (IPSJ)

Preview

Preview

Codes

  • NII Article ID (NAID) :
    110002929567
  • NII NACSIS-CAT ID (NCID) :
    AN10464060
  • Text Lang :
    JPN
  • Databases :
    NII-ELS 

Share