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: | Goto, Eiichi. editor., Furukawa, Koichi. editor., Nakajima, Reiji. editor., Nakata, Ikuo. editor., Yonezawa, Akinori. editor., SpringerLink (Online service) |
---|---|
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!
|
Similar Items
-
RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings /
by: Goto, Eiichi. editor., et al.
Published: (1983) -
Specification and Design of Software Systems [electronic resource] : Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings /
by: Knuth, Elöd. editor., et al.
Published: (1985) -
Specification and Design of Software Systems [electronic resource] : Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings /
by: Knuth, Elöd. editor., et al.
Published: (1985) -
Object Technologies for Advanced Software [electronic resource] : First JSSST International Symposium Kanazawa, Japan, November 4–6, 1993 Proceedings /
by: Nishio, Shojiro. editor., et al.
Published: (1993) -
Object Technologies for Advanced Software [electronic resource] : First JSSST International Symposium Kanazawa, Japan, November 4–6, 1993 Proceedings /
by: Nishio, Shojiro. editor., et al.
Published: (1993)