RIMS Symposium on Software Science and Engineering
Kyoto, 1982. Proceedings
Published on 1. January 1983
Book
Paperback/Softback
VI, 232 pages
978-3-540-11980-7 (ISBN)
Description
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.
More details
Series
Edition
1983 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VI, 232 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 14 mm
Weight
376 gr
ISBN-13
978-3-540-11980-7 (9783540119807)
DOI
10.1007/3-540-11980-9
Schweitzer Classification
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.