Papers - SAKAI, Masahiko
-
Similarity on Algebraic Specifications toward Specification Databases
"Masahiko Sakai, Soichi Matsui, Shinichiro Yamamoto, Kiyoshi Agusa"
LA Symposium page： 30-35 1992.2
-
代数的仕様の検証のための被覆集合帰納法
酒井正彦，坂部俊樹，稲垣康善
情報基礎理論ワークショップ，LAシンポジュウム page： 12-17 1991.2
-
Algebraic Specification and Automatic Generation of Compilers Reviewed
"Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki"
Transaction of IEICE Vol. J73-D-I ( 12 ) page： 979-989 1990.12
-
LASS : Language Processor Generator based on Algebraic Specification Reviewed
"Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki"
Transaction of IEICE Vol. J73-D-1 ( 10 ) page： 829-838 1990.10
-
代数的仕様の検証のための被覆集合帰納法
酒井正彦，坂部俊樹，稲垣康善
電子情報通信学会，コンピュテーション研究会 Vol. COMP90-5 1990.5
-
コンパイル機能を持つTRSインタプリタの実現
酒井正彦，坂部俊樹，稲垣康善
電子情報通信学会，コンピュテーション研究会 Vol. COMP88-93 1989.2
-
TRSインタプリタの並列最外戦略実現法
山本晋一郎，酒井正彦，坂部俊樹，稲垣康善
電子情報通信学会，コンピュテーション研究会 Vol. COMP88-94 1989.2
-
代数的仕様における帰納的性質の証明法
酒井正彦，坂部俊樹，稲垣康善
電子情報通信学会，コンピュテーション研究会 Vol. COMP88-86 page： 83-92 1989.1
-
Direct Implementation System of Algebraic Specification of Abstract Data Types Reviewed
"Masahiko Sakai, Toshiki Sakabe, Yasuyoshi Inagaki"
Computer Software Vol. 4 ( 4 ) page： 16-27 1987.10
-
An Algebraic Approach to Specification of Programming Languages and Automatic Generation of Language Processors Reviewed
"Yasuyoshi Inagaki, Hidehiko Kita, Masahiko Sakai, Toshiki Sakabe"
Proceedings of Regional Symposium on Computer Science and its Applications in Thai page： 35-1-35-25 1987.1
-
抽象データ型の代数的仕様の直接実現系Cdimple
酒井正彦，坂部俊樹，稲垣康善
電子通信学会技術研究報告，コンピュテーション研究会 Vol. COMP96-67 page： 61-69 1987.1
-
An Algebraic Approach to Specification of Programming Languages and Automatic Generation of Language Processors
"Yasuyoshi Inagaki, Hidehiko Kita, Masahiko Sakai, Toshiki Sakabe"
"Technical Research Report, Nagoya University" Vol. 8601 1986.11
-
抽象データ型直接実現システムCdimple
酒井正彦，坂部俊樹，稲垣康善
ソフトウエア科学会，関数的プログラミング研究会 Vol. FP-86-07 page： 122-127 1986.11
-
コンパイラの代数的仕様記述とその自動生成
酒井正彦，坂部俊樹，稲垣康善
情報処理学会研究報告，プログラミング言語研究会 Vol. 86-PL-8-1 page： 1-9 1986.10
-
コンパイラの代数的仕様記述法
酒井正彦，坂部俊樹，稲垣康善
電子通信学会技術研究報告，ソフトウエアサイエンス研究会 Vol. SS86-9 page： 1-6 1986.7
-
代数的手法に基づくプログラミング言語の仕様記述法と処理系の自動生成
稲垣康善，北英彦，酒井正彦，坂部俊樹
情報処理学会，知識情報処理シンポジウム論文集 page： 165-174 1985.9
-
プログラミング言語の代数的仕様記述からのコンパイラ自動生成に関する基礎的考察
酒井正彦，北英彦，坂部俊樹，稲垣康善
言語理論とオートマトン理論シンポジウム論文集 page： 98-101 1985.7
-
プログラミング言語の代数的仕様記述からのコンパイラ自動生成
酒井正彦，北英彦，坂部俊樹，稲垣康善
電子通信学会技術研究報告，オートマトンと言語研究会 Vol. AL85-10 page： 1-10 1985.5