論文 - 酒井 正彦
-
Similarity on Algebraic Specifications toward Specification Databases
"Masahiko Sakai, Soichi Matsui, Shinichiro Yamamoto, Kiyoshi Agusa"
LA Symposium 頁： 30-35 1992年2月
-
代数的仕様の検証のための被覆集合帰納法
酒井正彦，坂部俊樹，稲垣康善
情報基礎理論ワークショップ，LAシンポジュウム 頁： 12-17 1991年2月
-
コンパイラの代数的仕様記述と自動生成 査読有り
酒井正彦，坂部俊樹，稲垣康善
電子情報通信学会論文誌 J73-D-I 巻 ( 12 ) 頁： 979-989 1990年12月
-
代数的仕様記述法に基づく言語処理系の自動生成システムLass 査読有り
酒井正彦，坂部俊樹，稲垣康善
電子情報通信学会論文誌 J73-D-1 巻 ( 10 ) 頁： 829-838 1990年10月
-
代数的仕様の検証のための被覆集合帰納法
酒井正彦，坂部俊樹，稲垣康善
電子情報通信学会，コンピュテーション研究会 COMP90-5 巻 1990年5月
-
コンパイル機能を持つTRSインタプリタの実現
酒井正彦，坂部俊樹，稲垣康善
電子情報通信学会，コンピュテーション研究会 COMP88-93 巻 1989年2月
-
TRSインタプリタの並列最外戦略実現法
山本晋一郎，酒井正彦，坂部俊樹，稲垣康善
電子情報通信学会，コンピュテーション研究会 COMP88-94 巻 1989年2月
-
代数的仕様における帰納的性質の証明法
酒井正彦，坂部俊樹，稲垣康善
電子情報通信学会，コンピュテーション研究会 COMP88-86 巻 頁： 83-92 1989年1月
-
抽象データ型の代数的仕様の直接実現系Cdimple 査読有り
酒井正彦，坂部俊樹，稲垣康善
コンピュータソフトウェア 4 巻 ( 4 ) 頁： 16-27 1987年10月
-
An Algebraic Approach to Specification of Programming Languages and Automatic Generation of Language Processors 査読有り
"Yasuyoshi Inagaki, Hidehiko Kita, Masahiko Sakai, Toshiki Sakabe"
Proceedings of Regional Symposium on Computer Science and its Applications in Thai 頁： 35-1-35-25 1987年1月
-
抽象データ型の代数的仕様の直接実現系Cdimple
酒井正彦，坂部俊樹，稲垣康善
電子通信学会技術研究報告，コンピュテーション研究会 COMP96-67 巻 頁： 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" 8601 巻 1986年11月
-
抽象データ型直接実現システムCdimple
酒井正彦，坂部俊樹，稲垣康善
ソフトウエア科学会，関数的プログラミング研究会 FP-86-07 巻 頁： 122-127 1986年11月
-
コンパイラの代数的仕様記述とその自動生成
酒井正彦，坂部俊樹，稲垣康善
情報処理学会研究報告，プログラミング言語研究会 86-PL-8-1 巻 頁： 1-9 1986年10月
-
コンパイラの代数的仕様記述法
酒井正彦，坂部俊樹，稲垣康善
電子通信学会技術研究報告，ソフトウエアサイエンス研究会 SS86-9 巻 頁： 1-6 1986年7月
-
代数的手法に基づくプログラミング言語の仕様記述法と処理系の自動生成
稲垣康善，北英彦，酒井正彦，坂部俊樹
情報処理学会，知識情報処理シンポジウム論文集 頁： 165-174 1985年9月
-
プログラミング言語の代数的仕様記述からのコンパイラ自動生成に関する基礎的考察
酒井正彦，北英彦，坂部俊樹，稲垣康善
言語理論とオートマトン理論シンポジウム論文集 頁： 98-101 1985年7月
-
プログラミング言語の代数的仕様記述からのコンパイラ自動生成
酒井正彦，北英彦，坂部俊樹，稲垣康善
電子通信学会技術研究報告，オートマトンと言語研究会 AL85-10 巻 頁： 1-10 1985年5月