![RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings /](/search/themes/bootstrap3/images/libros.png)
RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings /
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.
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1983
|
| Subjects: | Computer science., Software engineering., Computer Science., Software Engineering., |
| Online Access: | http://dx.doi.org/10.1007/3-540-11980-9 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|