No.655

1987/09/17〜1987/09/19

後藤　英一

GOTO,EIICHI

目　次

1. A distributed rewriting system in a cellular space--------------------------------------------------------------------------------1

　　　　International Institute for Advanced Study of Social Information Science, FUJITSU LIMITED　　　西田 泰伸　(NISHIDA, Taishin)

　

2. EDEN - An Event-Driven Execution Monitor for Ada Tasking Programs : Implementation and Application-------------------------------20

　　　　Department of Computer Science and Communication Engineering, Kyushu University / Department of Computer Science and Communication Engineering, Kyushu University / Department of Computer Science and Communication Engineering, Kyushu University　　　程 京徳 / 白木原 敏雄 / 荒木 啓二郎[他]　(CHENG, Jingde / SHIRAKIHARA, Toshio / ARAKI, Keijiro)

　

3. 可制御二相施錠機構(ソフトウェア科学・工学における数理的方法)---------------------------------------------------------------------40

　　　　九州大学工学部　　　上林 弥彦　(KAMBAYASHI, Yahiko)

　

4. マルチメディアデータのためのオブジェクト指向データモデルの一般化(ソフトウェア科学・工学における数理的方法)-----------------------52

　　　　九州大学工学部 / 九州大学工学部　　　上林 弥彦 / 有川 正俊　(KAMBAYASHI, Yahiko / ARIKAWA, Masatoshi)

　

5. Inductive Inference of Logic Programs Based on Algebraic Semantics---------------------------------------------------------------64

　　　　IIAS-SIS, FUJITSU LIMITED　　　榊原 康文　(SAKAKIBARA, Yasubumi)

　

6. An Algebraic Method For Verifying Progress Property of Communication Protocolos--------------------------------------------------84

　　　　Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University / Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University / Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University　　　東野 輝夫 / 谷口 健一 / 嵩 忠雄[他]　(HIGASHINO, Teruo / TANIGUCHI, Kenichi / KASAMI, Tadao)

　

7. On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/$^\ast$---------------------------------------104

　　　　Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University / Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University / Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University　　　関 浩之 / 谷口 健一 / 嵩 忠雄　(SEKI, Hiroyuki / TANIGUCHI, Kenichi / KASAMI, Tadao)

　

8. データフローネットワークに基づく論理プログラムの計算機構と意味論(ソフトウェア科学・工学における数理的方法)----------------------124

　　　　岡山大学工学部　　　山崎 進　(Yamasaki, Susumu)

　

9. Top-down Zooming Diagnosis of Logic Programs------------------------------------------------------------------------------------147

　　　　Central Research Laboratory, Mitsubishi Electric Corporation / Central Research Laboratory, Mitsubishi Electric Corporation　　　前地 真知 / 金森 直　(MAEJI, Machi / KANAMORI, Tadashi)

　

10. Time-Extraction for Temporal Logic : Logic Programming and Local Process Time--------------------------------------------------167

　　　　京都大学数理解析研究所　　　服部 隆志　(Hattori, Takashi)

　

11. A rewriting system for categorical combinators with multiple arguments---------------------------------------------------------186

　　　　Tokyo Research Laboratory, IBM / Department of Mathematics, Tokyo Metropolitan University　　　横内 寛文 / 疋田 輝雄　(Yokouchi, Hirofumi / Hikita, Teruo)

　

12. Editing mechanism for the uniform manipulation of various kinds of data--------------------------------------------------------209

　　　　Department of Information Engineering, Faculty of Engineering, Nagoya University / Department of Information Engineering, Faculty of Engineering, Nagoya University / Department of Information Engineering, Faculty of Engineering, Nagoya University　　　渡辺 豊英 / 小笠原 達男 / 吉田 雄二[他]　(WATANABE, Toyohide / OGASAWARA, Tatsuo / YOSHIDA, Yuuji)