講演抄録/キーワード |
講演名 |
2004-11-25 17:00
融合変換を模倣するプログラム生成変換の戦略 ○長島正憲・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗(名大) |
抄録 |
(和) |
等号付き一階述語論理に基づくプログラム生成変換$\mathcal{GS}$は,一般の等式論理では扱うことのできない限量子や論理和を含む仕様を取り扱うことができる.$\mathcal{GS}$は,実行不可能な仕様から実行可能なプログラムを生成できる場合があり,プログラムの自動生成に応用が期待できる.しかし,どのようなプログラムや仕様に対してプログラム生成が成功するかは全く不明であった.本稿では,プログラム融合変換として知られるDeforestationを$\mathcal{GS}$が模倣できることを示す. |
(英) |
Program-Generation Transformation $\mathcal{GS}$ based on first-order logic with equality can handle specifications with quantifiers and logical ORs in them. There are some cases in which $\mathcal{GS}$ can transform unexecutable specifications into executable programs, so $\mathcal{GS}$ is expected to be applied to automatic program generation.
However, we have not known conditions for specifications when the program generation succeeds. In this report, we show that $\mathcal{GS}$ can simulate Deforestation known as a fusion transformation. |
キーワード |
(和) |
プログラム融合変換 / プログラム生成 / 限量子付き等式仕様 / 項書換え系 / 被覆集合 / / / |
(英) |
fusion transformation / program generation / quantified equational specification / TRS / covering set / / / |
文献情報 |
信学技報, vol. 104, no. 466, SS2004-33, pp. 43-48, 2004年11月. |
資料番号 |
SS2004-33 |
発行日 |
2004-11-18 (SS) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|