Abstract is missing.
- A Fast Parallel Merging Algorithm for 2-3 treesEtsuya Shibayama. 1-16
- Evaluation of Graph Representations with Active NodesMasayuki Numao, Masamichi Shimura. 17-43
- On Equivalence Transformations for Term Rewriting SystemsYoshihito Toyama. 44-61
- A Portable Logic Simulation System for Development of FLATS MachineKentaro Shimizu. 62-86
- Partial Computation with a Dataflow MachineSatoshi Ono, Naohisa Takahashi, Makoto Amamiya. 87-113
- OR-Parallel Optimizing Prolog System: POPS. Its Design and Implementation in Concurrent PrologHideki Hirakawa, Rikio Onai, Koichi Furukawa. 114-129
- Incorporating Naïve Negation into PrologKo Sakai, Taizo Miyachi. 130-143
- Algebraic Specification Method of Programming LanguagesHidehiko Kita, Toshiki Sakabe, Yasuyoshi Inagaki. 144-157
- Multiversion Concurrency Control Scheme for a Distributed Database System - A Trial to Break Concurrent Update of Redundant CopiesShojiro Muro, Tadashi Mizutani, Toshiharu Hasegawa. 158-180
- Global Storage Allocation in Attribute EvaluationHisashi Sasaki, Takuya Katayama. 181-211
- On Program Transformation with Tupling TechniqueAkihiko Koga. 212-232
- Evaluation of Working Set Algorithms for Data-flow MachinesHideki Sunahara, Mario Tokoro. 233-260
- Comparison of Closure Reduction and Combinatory Reduction SchemesTetsuo Ida, Akihiko Konagaya. 261-291
- The BC-Chain Method for Representing Combinators in Linear SpaceKohei Noshita, Teruo Hikita. 292-306
- Circuit Simulation Code Generation by Computer AlgebraKia-Fock Loe, Noritaka Ohsawa, Eiichi Goto. 307-323