RIMS Symposium on Software Science and Engineering: Kyoto, 1982. Proceedings (Lecture Notes in Computer Science, 147, Band 147) - Softcover

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

 
9783540119807: RIMS Symposium on Software Science and Engineering: Kyoto, 1982. Proceedings (Lecture Notes in Computer Science, 147, Band 147)
Softcover
ISBN 10: 3540119809 ISBN 13: 9783540119807
Verlag: Springer, 2008

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540119809
ISBN 13 
9783540119807
Einband
Taschenbuch
Anzahl der Seiten
244
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland