Rims Symposium on Software Science and Engineering: Kyoto, 1982. Proceedings

ISBN-13: 9783540119807 / Angielski / Miękka / 1983 / 232 str.

E. Goto; K. Furukawa; R. Nakajima

Spis treści

Partial computation of programs.- Treatment of big values in an applicative language HFP.- Toward the design and implementation of object oriented architecture.- DURAL: an extended Prolog language.- An algorithm for intelligent backtracking.- A pattern matching algorithm in binary trees.- Polynomial time inference of extended regular pattern languages.- Effects of practical assumption in area complexity of VLSI computation.- Hardware algorithms and logic design automation.- List processing with a data flow machine.- Relational algebra machine GRACE.- Vocabulary building for database queries.