RIMS Symposia on Software Science and Engineering 1983 and 1984: Kyoto, Japan

Eiichi Goto, Keijiro Araki, Taiichi Yuasa (Eds.): RIMS Symposia on Software Science and Engineering II, Proceedings of the Symposia 1983 and 1984, Kyoto, Japan. Lecture Notes in Computer Science 220 Springer 1986, ISBN 3-540-16470-7 BibTeX

@proceedings{DBLP:conf/rims/1984,
  editor    = {Eiichi Goto and
               Keijiro Araki and
               Taiichi Yuasa},
  title     = {RIMS Symposia on Software Science and Engineering II, Proceedings
               of the Symposia 1983 and 1984, Kyoto, Japan},
  booktitle = {RIMS Symposia on Software Science and Engineering},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {220},
  year      = {1986},
  isbn      = {3-540-16470-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Etsuya Shibayama: A Fast Parallel Merging Algorithm for 2-3 trees. 1-16 BibTeX
Masayuki Numao, Masamichi Shimura: Evaluation of Graph Representations with Active Nodes. 17-43 BibTeX
Yoshihito Toyama: On Equivalence Transformations for Term Rewriting Systems. 44-61 BibTeX
Kentaro Shimizu: A Portable Logic Simulation System for Development of FLATS Machine. 62-86 BibTeX
Satoshi Ono, Naohisa Takahashi, Makoto Amamiya: Partial Computation with a Dataflow Machine. 87-113 BibTeX
Hideki Hirakawa, Rikio Onai, Koichi Furukawa: OR-Parallel Optimizing Prolog System: POPS. Its Design and Implementation in Concurrent Prolog. 114-129 BibTeX
Kô Sakai, Taizo Miyachi: Incorporating Naïve Negation into Prolog. 130-143 BibTeX
Hidehiko Kita, Toshiki Sakabe, Yasuyoshi Inagaki: Algebraic Specification Method of Programming Languages. 144-157 BibTeX
Shojiro Muro, Tadashi Mizutani, Toshiharu Hasegawa: Multiversion Concurrency Control Scheme for a Distributed Database System - A Trial to Break Concurrent Update of Redundant Copies. 158-180 BibTeX
Hisashi Sasaki, Takuya Katayama: Global Storage Allocation in Attribute Evaluation. 181-211 BibTeX
Akihiko Koga: On Program Transformation with Tupling Technique. 212-232 BibTeX
Hideki Sunahara, Mario Tokoro: Evaluation of Working Set Algorithms for Data-flow Machines. 233-260 BibTeX
Tetsuo Ida, Akihiko Konagaya: Comparison of Closure Reduction and Combinatory Reduction Schemes. 261-291 BibTeX
Kohei Noshita, Teruo Hikita: The BC-Chain Method for Representing Combinators in Linear Space. 292-306 BibTeX
Kia-Fock Loe, Noritaka Ohsawa, Eiichi Goto: Circuit Simulation Code Generation by Computer Algebra. 307-323 BibTeX