Papers - SAKAI, Masahiko
-
NVNF-sequeentiality of Left-linear Term Rewriting Systems
"Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"
"Kyokyuroku, Kyoto University" Vol. 950 page： 153-159 1996.2
-
高階項書換え系の停止性について
岩見宗弘，酒井正彦，外山芳人
電子情報通信学会技術報告 Vol. COMP95-85 page： 113-121 1996.1
-
非線形項書換え系の合流性について
草刈圭一朗，酒井正彦，外山芳人
電子情報通信学会技術報告 Vol. COMP95-86 page： 123-129 1996.1
-
The Semantics of Priority Term Rewriting Systems and their Strong Sequentiality
"Masahiko Sakai, Yoshihito Toyama"
"Technical report, IEICE" Vol. SS95-40 page： 31-38 1996.1
-
The Functional Strategy: the Extended Left-incompatible Systems
Masahiko Sakai
"Technical Report, IEICE" Vol. SS95-17 page： 55-62 1995.7
-
NVNF-sequeentiality of Left-linear Term Rewriting Systems
"Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"
"Proc. of RIMS Workshop on Theory of Rewriting Systems and its Applications, Kyokyuroku, Kyoto University" Vol. 918 page： 109-117 1995.7
-
An Implementation of TRS on Shared Memory Multipeocessors Reviewed
"Shinichirou Yamamoto, Akira Ishikawa, Masahiko Sakai, Kiyoshi Agusa"
Transaction of IEICE Vol. J78-D-I ( 6 ) page： 559-562 1995.6
-
A Model for Reuse based on Formal Specifications Reviewed
"Makoto Kawakita, Masahiko Sakai, Shinichirou Yamamoto, Kiyoshi Agusa"
IPSJ Trans. Vol. 36 ( 5 ) page： 1050-1058 1995.5
-
Error Description on Algebraic Specification and its Automatic Addition Reviewed
"Takeshi Hamaguchi, Masahiko Sakai, Shinichirou Yamamoto, Kiyoshi Agusa"
Transaction of IEICE Vol. J78-D-I ( 3 ) page： 323-330 1995.3
-
On the modularity of confluent term rewriteing systems with shared construtors
"Akira Kitahara, Masahiko Sakai, Yoshihito Toyama"
Tech. Rep. of IPSJ Vol. 20 ( 2 ) page： 11-20 1995.1
-
仕様に基づく部品再利用法とその適用
川北誠，酒井正彦，山本晋一郎，阿草清滋
第1回ソフトウェア工学の基礎 ワークショップ Vol. FOSE94 1994.12
-
On the Confluence of Conditional Term Rewriting Systems
"Yoshitaka Takahashi, Masahiko Sakai, Yoshihito.Toyama"
Tech. Rep. of IEICE Vol. COMP94-65 page： 105-111 1994.11
-
Decidability of Indices on NVNF-sequential Term Rewriting Systems
"Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama"
Tech. Rep. of IEICE Vol. COMP94-63 page： 87-94 1994.11
-
On Counfluence of Term Set Rewriting System
"Hideto Kasuya, Masahiko Sakai, Shin'ichiro Yamamoto, Kiyoshi Agusa"
Tech. Rep. of IEICE Vol. SS94-14 page： 17-24 1994.7
-
On Term Set Rewriting System
"Masahiko Sakai, Hideto Kasuya, Shinichiro Yamamoto and Kiyoshi Agusa"
LA Symposium page： 45-48 1994.7
-
Similarity on Algebraic Specifications toward Specification Databases
Masahiko Sakai
"Technical Report, JAIST" Vol. IS-RR-94-0012S page： 1-20 1994.5
-
項の集合の書換え系とKnuth-Bendixの完備化に関する考察
粕谷英人，酒井正彦，山本晋一郎，阿草清滋
電子情報通信学会，ソフトウェアサイエンス研究会 Vol. SS93-41 page： 17-22 1994.1
-
ソフトウェア操作言語の提案
吉田敦，山本晋一郎，酒井正彦，阿草清滋
電子情報通信学会，ソフトウェアサイエンス研究会 Vol. SS92-18 page： 1-8 1993.1
-
代数的仕様へのエラー記述の自動付加について
濱口毅，酒井正彦，山本晋一郎，阿草清滋
電子情報通信学会，ソフトウェアサイエンス研究会 Vol. SS92-26 page： 25-32 1993.1
-
Cover Set Induction for Verifying Algebraic Specifications Reviewed
"Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki"
Transaction of IEICE Vol. J75-D-I ( 3 ) page： 170-179 1992.3