RIMS Symposium on Software Science and Engineering 1982: Kyoto, Japan

Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa (Eds.): RIMS Symposium on Software Science and Engineering, Kyoto, Japan, 1982, Proceedings. Lecture Notes in Computer Science 147 Springer 1983, ISBN 3-540-11980-9

Yoshihiko Futamura: Parital Computation of Programs. 1-35
Takuya Katayama: Treatment of Big Values in an Applicative Language HFP. 36-48
Mario Tokoro: Towards the Design and Implementation of Object Oriented Architecture. 49-72
Shigeki Goto: DURAL: an Extended Prolog Language. 73-87
Taisuke Sato: An Algorithm for Intelligent Backtracking. 88-98
Keiji Kojima: A Pattern Matching Algorithm in Binary Trees. 99-114
Takeshi Shinohara: Polynomial Time Inference of Extended Regular Pattern Languages. 115-127
Kenichi Hagihara, Kouichi Wada, Nobuki Tokura: Effect of Practical Assumption in Area Complexity of VLSI Computation. 128-146
Shuzo Yajima, Hiroto Yasuura: Hardware Algorithms and Logic Design Automation. An Overview and Progress Report. 147-164
Makoto Amamiya, Ryuzo Hasegawa, Hirohide Mikami: List Processing with a Data Flow Machine. 165-190
Masaru Kitsuregawa, Hidehiko Tanaka, Tohru Moto-Oka: Relational Algebra Machine GRACE. 191-214
Yuzuru Tanaka: Vocabulary Building for Database Queries. 215-232