Umfang:
Online-Ressource (232 S.)
Ausgabe:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540394426
Serie:
Lecture notes in computer science 147
Inhalt:
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.
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 3540119809
Weitere Ausg.:
ISBN 0387119809
Weitere Ausg.:
ISBN 9783540119807
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Symposium on Software Science and Engineering (1980 - 1982) RIMS Symposia on Software Science and Engineering Berlin [u.a.] : Springer, 1983 ISBN 0387119809
Weitere Ausg.:
ISBN 3540119809
Sprache:
Englisch
Schlagwort(e):
Konferenzschrift
DOI:
10.1007/3-540-11980-9
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
