Format:
Online-Ressource (232 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540394426
Series Statement:
Lecture notes in computer science 147
Content:
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.
Note:
Literaturangaben
Additional Edition:
ISBN 3540119809
Additional Edition:
ISBN 0387119809
Additional Edition:
ISBN 9783540119807
Additional Edition:
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
Additional Edition:
ISBN 3540119809
Language:
English
Keywords:
Konferenzschrift
DOI:
10.1007/3-540-11980-9
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
