Sign in
RIMS Symposia on Software Science and Engineering
1984
1985
1986
1984
1986
Keyphrases
Publications
volume 220, 1986
RIMS Symposia on Software Science and Engineering II, Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
RIMS Symposia on Software Science and Engineering
220 (1986)
1984
Masayuki Numao
,
Masamichi Shimura
Evaluation of Graph Representations with Active Nodes.
RIMS Symposia on Software Science and Engineering
(1984)
Yoshihito Toyama
On Equivalence Transformations for Term Rewriting Systems.
RIMS Symposia on Software Science and Engineering
(1984)
Kohei Noshita
,
Teruo Hikita
The BC-Chain Method for Representing Combinators in Linear Space.
RIMS Symposia on Software Science and Engineering
(1984)
Akihiko Koga
On Program Transformation with Tupling Technique.
RIMS Symposia on Software Science and Engineering
(1984)
Hideki Sunahara
,
Mario Tokoro
Evaluation of Working Set Algorithms for Data-flow Machines.
RIMS Symposia on Software Science and Engineering
(1984)
Shojiro Muro
,
Tadashi Mizutani
,
Toshiharu Hasegawa
Multiversion Concurrency Control Scheme for a Distributed Database System - A Trial to Break Concurrent Update of Redundant Copies.
RIMS Symposia on Software Science and Engineering
(1984)
Hideki Hirakawa
,
Rikio Onai
,
Koichi Furukawa
OR-Parallel Optimizing Prolog System: POPS. Its Design and Implementation in Concurrent Prolog.
RIMS Symposia on Software Science and Engineering
(1984)
Etsuya Shibayama
A Fast Parallel Merging Algorithm for 2-3 trees.
RIMS Symposia on Software Science and Engineering
(1984)
Kia-Fock Loe
,
Noritaka Ohsawa
,
Eiichi Goto
Circuit Simulation Code Generation by Computer Algebra.
RIMS Symposia on Software Science and Engineering
(1984)
Tetsuo Ida
,
Akihiko Konagaya
Comparison of Closure Reduction and Combinatory Reduction Schemes.
RIMS Symposia on Software Science and Engineering
(1984)
Satoshi Ono
,
Naohisa Takahashi
,
Makoto Amamiya
Partial Computation with a Dataflow Machine.
RIMS Symposia on Software Science and Engineering
(1984)
Hidehiko Kita
,
Toshiki Sakabe
,
Yasuyoshi Inagaki
Algebraic Specification Method of Programming Languages.
RIMS Symposia on Software Science and Engineering
(1984)
Kô Sakai
,
Taizo Miyachi
Incorporating Naïve Negation into Prolog.
RIMS Symposia on Software Science and Engineering
(1984)
Hisashi Sasaki
,
Takuya Katayama
Global Storage Allocation in Attribute Evaluation.
RIMS Symposia on Software Science and Engineering
(1984)
Kentaro Shimizu
A Portable Logic Simulation System for Development of FLATS Machine.
RIMS Symposia on Software Science and Engineering
(1984)