RIMS symposia on software science and engineering : Kyoto, 1982 : proceedings
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
147 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Actes de de plusieurs congrès tenus à Kyoto de 1980 à 1982, d'après la préface Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Software science and engineering ; proceedings, of the RIMS symposia on..., Kyoto, 1982, ed. by Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikno Nakata and Akinori Yonezawa, Berlin, Springer, 1983, 1 vol. (232 p.), Lecture notes in computer science, 3-540-11980-9 • RIMS Symposium on Software Science and Engineering, Texte imprimé, 9783662162903 |
Sisällysluettelo:
- 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.