RIMS Symposium on Software Science and Engineering, Kyoto, Japan, 1982, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

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

Conference: rims1983

Abstract is missing.

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

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

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

DURAL: an Extended Prolog LanguageShigeki Goto. 73-87

An Algorithm for Intelligent BacktrackingTaisuke Sato. 88-98

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

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

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

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

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

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

Vocabulary Building for Database QueriesYuzuru Tanaka. 215-232

runs on WebDSL