Skip to main content
SpringerLink
Log in

RIMS Symposium on Software Science and Engineering

Kyoto, 1982. Proceedings

  • Conference proceedings
  • © 1983

Overview

Editors:
  1. Eiichi Goto
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Koichi Furukawa
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Reiji Nakajima
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Ikuo Nakata
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Akinori Yonezawa
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 147)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Partial computation of programs

    • Yoshihiko Futamura
    Pages 1-35

  3. Treatment of big values in an applicative language HFP

    • Takuya Katayama
    Pages 36-48

  4. Toward the design and implementation of object oriented architecture

    • Mario Tokoro
    Pages 49-72

  5. DURAL: an extended Prolog language

    • Shigeki Goto
    Pages 73-87

  6. An algorithm for intelligent backtracking

    • Taisuke Sato
    Pages 88-98

  7. A pattern matching algorithm in binary trees

    • Keiji Kojima
    Pages 99-114

  8. Polynomial time inference of extended regular pattern languages

    • Takeshi Shinohara
    Pages 115-127

  9. Effects of practical assumption in area complexity of VLSI computation

    • Ken'ichi Hagihara, Kouichi Wada, Nobuki Tokura
    Pages 128-146

  10. Hardware algorithms and logic design automation

    • Shuzo Yajima, Hiroto Yasuura
    Pages 147-164

  11. List processing with a data flow machine

    • Makoto Amamiya, Ryuzo Hasegawa, Hirohide Mikami
    Pages 165-190

  12. Relational algebra machine GRACE

    • Masaru Kitsuregawa, Hidehiko Tanaka, Tohru Moto-oka
    Pages 191-214

  13. Vocabulary building for database queries

    • Yuzuru Tanaka
    Pages 215-232
Back to top

Keywords

Bibliographic Information

  • Book Title: RIMS Symposium on Software Science and Engineering

  • Book Subtitle: Kyoto, 1982. Proceedings

  • Editors: Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-11980-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1983

  • Softcover ISBN: 978-3-540-11980-7Published: 01 January 1983

  • eBook ISBN: 978-3-540-39442-6Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VI, 232

  • Topics: Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation