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

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.

List of contents

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.

Product details

• Assisted by: Furukawa (Editor), K Furukawa (Editor), K. Furukawa (Editor), E. Goto (Editor), Eiichi Goto (Editor), R. Nakajima (Editor), R Nakajima et al (Editor), I. Nakata (Editor), A. Yonezawa (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.1960
• EAN: 9783540119807
• ISBN: 978-3-540-11980-7
• No. of pages: 232
• Weight: 389 g
• Illustrations: VI, 232 p.
• Series: Lecture Notes in Computer Science; Lecture Notes in Computer Science
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT