Goto

RIMS Symposium on Software Science and Engineering

Kyoto, 1982. Proceedings
Mitarbeit:Goto, Eiichi; Furukawa, K.; Nakajima, R.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 147
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-11980-7
• 1983.
• Seitenzahl: 244
• Erscheinungstermin: 1. Januar 1983
• Englisch
• Abmessung: 235mm x 155mm x 14mm
• Gewicht: 389g
• ISBN-13: 9783540119807
• ISBN-10: 3540119809
• Artikelnr.: 09230445

Inhaltsangabe

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.