rick@cs.arizona.edu (Rick Schlichting) (02/05/91)
-------------------------------------------------------------------------------
ADVANCES IN SOFTWARE SCIENCE AND TECHNOLOGY, Vol. 1, 1989
published by
Japan Society for Software Science and Technology
-------------------------------------------------------------------------------
[Author affiliations and addresses follow the table of
contents. I also apologize in advance for any errors or
formatting inconsistencies; a scanner was used for input
and although I tried to fix problems I noticed, some
undoubtedly remain. -- Rick]
Contents
Editor's Message
Ikuo Nakata
Research Contributions
JPSG-A Phrase Structure Grammar for Japanese
Yasunari Harada, Takao Gunji, Hideo Miyoshi, Hidetosi Sirai
and Koiti Hasida 1
Logical Semantics of Multiple World Mechanism for Knowledge
Representation in Logic Programming
Hideyuki Nakashima 17
Adaptive Optimal Segmentation Schemes for Multiattribute Files
Yuzuru Tanaka 29
Methods for Transforming Attribute Grammars into Eficient
Action Routines
Takehiro Tokuda.............................................................55
Program Transformation of CCFG Programs
Ikuo Nakata and Yoshiyuki Yamashita 71
Attribute Graph Grammars with Applications to Hichart Program
Chart Editors
Tetsuro Nishino 89
A Type Inference System for FP Programs
Junhui Luo and Takuya Katayama............................................105
Overview of GMW+Wnn System
Masami Hagiya, Takashi Hattori, Akitoshi Morishima,
Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki,
Hideki Tsuiki and Taiichi Yuasa 133
Floating-Point Numbers and Real Numbers
Hiroshi Horiguchi 157
Tutorial
Category Theory for Algebraic Specification
Susumu Hayashi..........................................................169
On Concurrent Programming in Smalltalk-80
Norihisa Doi and Kiyoshi Segawa.............................................187
Society News
Rules for Submission of English Papers and English Paper
Style Guidelines...........................................................209
Author's Guide.............................................................217
Japan Society for Software Science and Technology
Membership Application Form................................................219
Contributors
Numbers in parentheses refer to the pages on which the authors' contribution
begin.
Norihisa Doi (187), Faculty of Science and Technology, Keio University, 3-14-1
Hiyoshi, Kohoku-ku, Yokohama, 223 Japan
Takao Gunji (1), Faculty of Langua.ge and Culture, Osaka University, 1-1
Machikaneyama-cho, Toyonaka, Osaka 560, Japan
Masami Hagiya (133), Research Institute for Mathematical Sciences, Kyoto
University, Sakyo-ku, Kyoto, 606 Japan
Yasunari Harada (1), School of Law, Waseda University, 1-1 Nishi-Waseda,
Shinjuku-ku, Tokyo, 169 Japan
Koiti Hasida (1), Second Laboratory, Institute for New Generation Computer
Technology, 1-4-28 Mita, Minato-ku, Tokyo, 108 Japan
Takashi Hattori (133), Keio University, 2-15-45 Shiba-Mita, Minato-ku, Tokyo,
108 Japan
Susumu Hayashi (169), Department of Applied Mathematics and Informatics,
Ryukoku University, Seta, Ohtsu, Shiga, 520-21 Japan
Hiroshi Horiguchi (157), Department of Mathematics, Tokyo Denki University,
2-2 Nishiki-cho Kanda, Chiyoda-ku, Tokyo, 101 Japan
Takuya Katayama (105), Department of Computer Science, Tokyo Institute of
Technology, Oookayama 2-12-1, Meguro-ku, Tokyo, 152 Japan
Junhui Luo (105), Department of Computer Science, Tokyo Institute of
Technology, Oookayama 2-12-1, Meguro-ku, Tokyo, 152 Japan
Hideo Miyoshi (1), Information Systems Laboratory, Sharp Corporation,
Minosho-cho, Yamato-Koriyama-shi, Nara, 639-11 Japan
Akitoshi Morishima (133), Research Institute for Mathematical Sciences, Kyoto
University, Sakyo-ku, Kyoto, 606 Japan
Reiji Nakajima (133), Research Institute for Mathematical Sciences, Kyoto
University, Sakyo-ku, Kyoto, 606 Japan
Hideyuki Nakashima (17), Electrotechnical Laboratory, 1-4 Umezono-1,
Tsukuba, Ibaraki, 305 Japan
Ikuo Nakata (71), Institute of Information Sciences and Electronics, University of
Tsukuba, Tsukuba, Ibaraki, 305 Japan
Naoyuki Niide (133), Educational Center for Information Processing, Kyoto
University, Sakyo-ku, Kyoto, 606 Japan
Tetsuro Nishino (89), Department of Information Sciences, Tokyo Denki
University, Hatoyama-machi, IIiki-gun, Saitama, 35003 Japan
Takashi Sakuragawa (133), Research Institute for Mathematical Sciences, Kyoto
University, Sakyo-ku, Kyoto, 606 Japan
Kiyoshi Segawa (187), Department of Management and Information Science, Jobu
University, Shinmachi, Tano-gun, 370-13 Japan
Hidetosi Sirai (1), Department of Psychology, Chukyo University, 101-2
Yagotohonmachi, Showa-ku, Nagoya, 466 Japan
Takashi Suzuki (133), Advanced Software Technology & Mechatronics Research
Institute, Shimogyo-ku, Kyoto, 600 Japan
Yuzuru Tanaka (29), Electrical Engineering Department, Hokkaido University,
Sapporo, 060 Japan
Takehiro Tokuda (55), Department of Computer Science, Tokyo Institute of
Technology, Meguro, Tokyo, 152 Japan
Hideki Tsuiki (133), Research Institute for Mathematical Sciences, Kyoto
University, Sakyo-ku, Kyoto, 606 Japan
Yoshiyuki Yamashita (71), Computer Centre, University of Tokyo, Bunkyo-ku,
Tokyo, 113 Japan
Taiichi Yuasa (133), Department of Information and Computer Science,
Toyohashi University of Technology, Tempaku-cho, Toyohashi, 440 Japan