RIMS Symposium on Software Science and Engineering

Keyphrases

Publications

volume 147, 1983

RIMS Symposium on Software Science and Engineering, Kyoto, Japan, 1982, Proceedings RIMS Symposium on Software Science and Engineering 147 (1983)

1982

Mario Tokoro
Towards the Design and Implementation of Object Oriented Architecture. RIMS Symposium on Software Science and Engineering (1982)
Kenichi Hagihara, Kouichi Wada, Nobuki Tokura
Effect of Practical Assumption in Area Complexity of VLSI Computation. RIMS Symposium on Software Science and Engineering (1982)
Masaru Kitsuregawa, Hidehiko Tanaka, Tohru Moto-Oka
Relational Algebra Machine GRACE. RIMS Symposium on Software Science and Engineering (1982)
Yuzuru Tanaka
Vocabulary Building for Database Queries. RIMS Symposium on Software Science and Engineering (1982)
Takuya Katayama
Treatment of Big Values in an Applicative Language HFP. RIMS Symposium on Software Science and Engineering (1982)
Shigeki Goto
DURAL: an Extended Prolog Language. RIMS Symposium on Software Science and Engineering (1982)
Taisuke Sato
An Algorithm for Intelligent Backtracking. RIMS Symposium on Software Science and Engineering (1982)
Shuzo Yajima, Hiroto Yasuura
Hardware Algorithms and Logic Design Automation. An Overview and Progress Report. RIMS Symposium on Software Science and Engineering (1982)
Takeshi Shinohara
Polynomial Time Inference of Extended Regular Pattern Languages. RIMS Symposium on Software Science and Engineering (1982)
Makoto Amamiya, Ryuzo Hasegawa, Hirohide Mikami
List Processing with a Data Flow Machine. RIMS Symposium on Software Science and Engineering (1982)
Keiji Kojima
A Pattern Matching Algorithm in Binary Trees. RIMS Symposium on Software Science and Engineering (1982)
Yoshihiko Futamura
Parital Computation of Programs. RIMS Symposium on Software Science and Engineering (1982)