RIMS Symposia on Software Science and Engineering: Kyoto, 1982 Proceedings

Yoshihiko Futamura (auth.), Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa (eds.)3540119809, 9783540119807

Table of contents :
Partial computation of programs….Pages 1-35
Treatment of big values in an applicative language HFP….Pages 36-48
Toward the design and implementation of object oriented architecture….Pages 49-72
DURAL: an extended Prolog language….Pages 73-87
An algorithm for intelligent backtracking….Pages 88-98
A pattern matching algorithm in binary trees….Pages 99-114
Polynomial time inference of extended regular pattern languages….Pages 115-127
Effects of practical assumption in area complexity of VLSI computation….Pages 128-146
Hardware algorithms and logic design automation….Pages 147-164
List processing with a data flow machine….Pages 165-190
Relational algebra machine GRACE….Pages 191-214
Vocabulary building for database queries….Pages 215-232