非正格関数の融合変換における始代数の存在について Export

@inproceedings{citeulike:2487894, abstract = {純粋関数型言語の最適化手法としてプログラムの代数的性質に基づいた推論と変換は重要な位置を占めており、特に再帰的なデータ型を始代数とみなすことによって得られる融合変換のための手法が知られている。 しかし、一方で非正格な言語では始代数とみなせないデータ型が存在し得る。そのためこれらの手法を非正格な言語に適用するには、従来は適用対象の関数が正格である場合に限定する必要があった。 本論文ではこの問題について論じ、非正格な言語のデータ型に対応する始代数が存在する為の十分条件を示す。これにより関数の正格性を条件とせずに、始代数の存在を前提とした変換が可能になる。この条件は単純かつ一般的なもので、通常の関数型言語で用いられる多くのデータ型に対して適用できる。}, author = {Sakai, Masahiro and Hagino, Tatsuya}, booktitle = {第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008)}, citeulike-article-id = {2487894}, citeulike-linkout-0 = {http://www.nue.riec.tohoku.ac.jp/ppl2008/program.html}, keywords = {category-theory, domain-theory, ppl2008}, month = {March}, posted-at = {2008-03-08 02:35:56}, priority = {0}, title = {非正格関数の融合変換における始代数の存在について}, url = {http://www.nue.riec.tohoku.ac.jp/ppl2008/program.html}, year = {2008} }

TY - CONF ID - citeulike:2487894 L3 - citeulike-article-id:2487894 N2 - 純粋関数型言語の最適化手法としてプログラムの代数的性質に基づいた推論と変換は重要な位置を占めており、特に再帰的なデータ型を始代数とみなすことによって得られる融合変換のための手法が知られている。 しかし、一方で非正格な言語では始代数とみなせないデータ型が存在し得る。そのためこれらの手法を非正格な言語に適用するには、従来は適用対象の関数が正格である場合に限定する必要があった。 本論文ではこの問題について論じ、非正格な言語のデータ型に対応する始代数が存在する為の十分条件を示す。これにより関数の正格性を条件とせずに、始代数の存在を前提とした変換が可能になる。この条件は単純かつ一般的なもので、通常の関数型言語で用いられる多くのデータ型に対して適用できる。 TI - 非正格関数の融合変換における始代数の存在について T2 - 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) KW - category-theory KW - domain-theory KW - ppl2008 AU - Sakai, Masahiro AU - Hagino, Tatsuya PY - 2008/03// UR - http://www.nue.riec.tohoku.ac.jp/ppl2008/program.html ER -