Skip to main content
SpringerLink
Log in
Book cover

RIMS Symposium on Software Science and Engineering II

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

  • Conference proceedings
  • © 1986

Overview

Editors:
  1. Eichi Goto
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Keijiro Araki
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Taiichi Yuasa
    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 220)

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 (17 papers)

  1. Front Matter

    Download chapter PDF

  2. A fast parallel merging algorithm for 2–3 trees

    • Etsuya Shibayama
    Pages 1-16

  3. Evaluation of graph representations with active nodes

    • Masayuki Numao, Masamichi Shimura
    Pages 17-43

  4. On equivalence transformations for term rewriting systems

    • Yoshihito Toyama
    Pages 44-61

  5. A portable logic simulation system for development of FLATS machine

    • Kentaro Shimizu
    Pages 62-86

  6. Partial computation with a dataflow machine

    • Satoshi Ono, Naohisa Takahashi, Makoto Amamiya
    Pages 87-113

  7. OR-Parallel Optimizing Prolog System: Pops its design and implementation in Concurrent Prolog

    • Hideki Hirakawa, Rikio Onai, Kohichi Furukawa
    Pages 114-129

  8. Incorporating Naïve Negation into Prolog

    • Kō Sakai, Taizo Miyachi
    Pages 130-143

  9. Algebraic specification method of programming languages

    • Hidehiko Kita, Toshiki Sakabe, Yasuyoshi Inagaki
    Pages 144-157

  10. Multiversion concurrency control scheme for a distributed database system — A trial to break concurrent update of redundant copies —

    • Shojiro Muro, Tadashi Mizutani, Toshiharu Hasegawa
    Pages 158-180

  11. Global storage allocation in attribute evaluation

    • Hisashi Sasaki, Takuya Katayama
    Pages 181-211

  12. On program transformation with tupling technique

    • Akihiko Koga
    Pages 212-232

  13. Evaluation of working set algorithms for data-flow machines

    • Hideki Sunahara, Mario Tokoro
    Pages 233-260

  14. Comparison of closure reduction and combinatory reduction schemes

    • Tetsuo Ida, Akihiko Konagaya
    Pages 261-291

  15. The BC-chain method for representing combinators in linear space

    • Kohei Noshita, Teruo Hikita
    Pages 292-306

  16. Circuit simulation code generation by computer algebra

    • Kia Fock Loe, Noritaka Ohsawa, Eiichi Goto
    Pages 307-320

  17. List 1 Algebraic code for simple harmonic motion

    Pages 321-322

  18. List 2 Generated fortran code for simple harmonic motion

    Pages 323-323
Back to top

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation