RIMS Symposia on Software Science and Engineering - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

1986

RIMS Symposia on Software Science and Engineering II, Proceedings of the Symposia 1983 and 1984, Kyoto, JapanEiichi Goto, Keijiro Araki, Taiichi Yuasa, editors, Volume 220 of Lecture Notes in Computer Science, Springer, 1986.

1984

OR-Parallel Optimizing Prolog System: POPS. Its Design and Implementation in Concurrent PrologHideki Hirakawa, Rikio Onai, Koichi Furukawa. rims 1986: 114-129

Comparison of Closure Reduction and Combinatory Reduction SchemesTetsuo Ida, Akihiko Konagaya. rims 1986: 261-291

Algebraic Specification Method of Programming LanguagesHidehiko Kita, Toshiki Sakabe, Yasuyoshi Inagaki. rims 1986: 144-157

On Program Transformation with Tupling TechniqueAkihiko Koga. rims 1986: 212-232

Circuit Simulation Code Generation by Computer AlgebraKia-Fock Loe, Noritaka Ohsawa, Eiichi Goto. rims 1986: 307-323

Multiversion Concurrency Control Scheme for a Distributed Database System - A Trial to Break Concurrent Update of Redundant CopiesShojiro Muro, Tadashi Mizutani, Toshiharu Hasegawa. rims 1986: 158-180

The BC-Chain Method for Representing Combinators in Linear SpaceKohei Noshita, Teruo Hikita. rims 1986: 292-306

Evaluation of Graph Representations with Active NodesMasayuki Numao, Masamichi Shimura. rims 1986: 17-43

Partial Computation with a Dataflow MachineSatoshi Ono, Naohisa Takahashi, Makoto Amamiya. rims 1986: 87-113

Incorporating Naïve Negation into PrologKo Sakai, Taizo Miyachi. rims 1986: 130-143

Global Storage Allocation in Attribute EvaluationHisashi Sasaki, Takuya Katayama. rims 1986: 181-211

A Fast Parallel Merging Algorithm for 2-3 treesEtsuya Shibayama. rims 1986: 1-16

A Portable Logic Simulation System for Development of FLATS MachineKentaro Shimizu. rims 1986: 62-86

Evaluation of Working Set Algorithms for Data-flow MachinesHideki Sunahara, Mario Tokoro. rims 1986: 233-260

On Equivalence Transformations for Term Rewriting SystemsYoshihito Toyama. rims 1986: 44-61

1983

RIMS Symposium on Software Science and Engineering, Kyoto, Japan, 1982, ProceedingsEiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa, editors, Volume 147 of Lecture Notes in Computer Science, Springer, 1983.

1982

List Processing with a Data Flow MachineMakoto Amamiya, Ryuzo Hasegawa, Hirohide Mikami. rims 1983: 165-190

Partial Computation of ProgramsYoshihiko Futamura. rims 1983: 1-35 [doi]

DURAL: an Extended Prolog LanguageShigeki Goto. rims 1983: 73-87

Effect of Practical Assumption in Area Complexity of VLSI ComputationKenichi Hagihara, Kouichi Wada, Nobuki Tokura. rims 1983: 128-146

Treatment of Big Values in an Applicative Language HFPTakuya Katayama. rims 1983: 36-48

Relational Algebra Machine GRACEMasaru Kitsuregawa, Hidehiko Tanaka, Tohru Moto-Oka. rims 1983: 191-214

A Pattern Matching Algorithm in Binary TreesKeiji Kojima. rims 1983: 99-114

An Algorithm for Intelligent BacktrackingTaisuke Sato. rims 1983: 88-98

Polynomial Time Inference of Extended Regular Pattern LanguagesTakeshi Shinohara. rims 1983: 115-127

Vocabulary Building for Database QueriesYuzuru Tanaka. rims 1983: 215-232

Towards the Design and Implementation of Object Oriented ArchitectureMario Tokoro. rims 1983: 49-72

Hardware Algorithms and Logic Design Automation. An Overview and Progress ReportShuzo Yajima, Hiroto Yasuura. rims 1983: 147-164

Sign in or sign up to see more results.

runs on WebDSL