RIMS Symposium on Software Science and Engineering

Kyoto, 1982. Proceedings

244 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering
• ISBN: 9783540119807
• Sprache: Englisch
• Erscheinungsdatum: 01.01.1983
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: K. Furukawa, A. Yonezawa, I. Nakata, E. Goto, R. Nakajima