RIMS Symposium on Software Science and Engineering: Kyoto, 1982. Proceedings: 147 - Brossura

Goto, E.; Furukawa, K.; Nakajima, R.; Yonezawa, A.; Nakata, I.

 
9783540119807: RIMS Symposium on Software Science and Engineering: Kyoto, 1982. Proceedings: 147

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.