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 BibTeX

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