Papers - SAKAI, Masahiko
-
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems Reviewed
"Keita Uchiyama, Masahiko Sakai and Toshiki Sakabe"
"Proc. of 7th International Workshop on Reduction Strategies in Rewriting and Programming, Paris (WRS2007)" page： 16-27 2007.6
-
Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems
"Kiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Toshiki Sakabe and Naoki Nishida"
Vol. 107 ( 99 ) page： 17-22 2007.6
-
二階の書換え系における引数切り落とし法
磯谷泰巨、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹
電子情報通信学会技術研究報告 Vol. 107 ( 99 ) page： 23-28 2007.6
-
Undecidable Properties on Length-Two String Rewriting Systems Reviewed
Masahiko Sakai and Wang Yi
"Proc. of 7th International Workshop on Reduction Strategies in Rewriting and Programming, Paris (WRS2007)" page： 43-57 2007.6
-
Convergent Term Rewriting Systems for Inverse Computation of Injective Functions Reviewed
"WaNaoki Nishida, Masahiko Sakai, and Terutoshi Kato"
"Proc. of Ninth International Workshop on Termination, Paris (WST2007)" page： 77-81 2007.6
-
Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems
"Keita Uchiyama, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe and Keiichirou Kusakari"
"RIMS Technical Report, Kyoto Universty" Vol. 1554 page： 166-170 2007.5
-
Confluence of Length Preserving String Rewriting System is Undecidable
"Yi Wang, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe and Keiichirou Kusakari"
"RIMS Technical Report, Kyoto Universty" Vol. 1554 page： 171-177 2007.5
-
Usable Rules and Labeling Producfor Dependency Pair Method in Simply-Typed Term Rewriting Systemst-Typed Terms Reviewed
"Takahiro Sakurai, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida"
IEICE Trans. on Information and Systems Vol. J90-D ( 4 ) page： 978-989 2007.4
-
単純型項書換え系における定理自動証明系HOPSYS
蒲田 明憲，草刈 圭一朗，西田 直樹，酒井 正彦，坂部 俊樹
電子情報通信学会技術研究報告 Vol. 106 ( 424 ) page： 7-12 2006.12
-
手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
古市祐樹，西田 直樹，酒井 正彦，草刈 圭一朗，坂部 俊樹
電子情報通信学会技術研究報告 Vol. 106 ( 324 ) page： 7-12 2006.10
-
GeneSysによるプログラム生成例とIntroduction規則の追加
近藤 悟，酒井 正彦，西田 直樹，坂部 俊樹，草刈 圭一朗
電子情報通信学会技術研究報告 Vol. 106 ( 324 ) page： 37-42 2006.10
-
例外処理付きオブジェクト指向言語における情報流の安全性解析
黒川 翔，桑原寛明，山本晋一郎，坂部俊樹，酒井正彦，草刈圭一朗，西田直樹
電子情報通信学会技術研究報告 Vol. 106 ( 324 ) page： 13-18 2006.10
-
高階関数機能を持つ項書換え系のコンパイル
笹田悠司，酒井正彦，坂部俊樹，草刈圭一朗，西田直樹
平成18年度電気関係学会東海支部連合大会講演論文集 page： O-437 2006.9
-
所属制約を持つ条件付き項書換え系の紐解き変換
村田俊樹，西田直樹，酒井正彦，坂部俊樹，草刈圭一朗
平成18年度電気関係学会東海支部連合大会講演論文集 page： O-438 2006.9
-
*Decidability of Termination Left-Linear Shallow TRSs and Related Systems for Semi-Constructor TRSs Reviewed
Wang Yi and Masahiko Sakai
Proc. of 17th Int'l Conference on Rewriting Techniqes and Applications, Seattle RTA2006, LNCS Vol. 4098 page： 343-356 2006.8
-
Transformation for Refining Unraveled Conditional Term Rewriting Systems Reviewed
"Naoki Nishida, Tomohiro Mizutani, and Masahiko Sakai"
"Proc. of 6th International Workshop on Reduction Strategies in Rewriting and Programming, Seattle (WRS2006)" page： 34-48 2006.8
-
On Non-looping Term Rewriting Reviewed
Wang Yi and Masahiko Sakai
"Proc. of Eighth International Workshop on Termination, Seattle (WST2006)" page： 17-21 2006.8
-
等式付き書換え系の等式数を削減する変換
三浦浩一，西田直樹，酒井正彦，坂部俊樹，草刈圭一朗
電子情報通信学会技術研究報告 Vol. 106 ( 120 ) page： 7-12 2006.6
-
単純型項書換え系上の依存対法における実行規則と直積型項へのラベル付け
櫻井敬大，草刈圭一朗，酒井正彦，坂部俊樹，西田直樹
電子情報通信学会技術研究報告 Vol. 106 ( 120 ) page： 13-18 2006.6
-
紐解かれた項書換え系の文脈依存条件の除去のための変換
"水谷知博，西田直樹, 酒井正彦,草刈圭一朗, 坂部俊樹"
京都大学数理解析研究所講究録 Vol. 1489 page： 195-201 2006.5