書誌情報	ファイル
表紙・目次    (1983-03)   数理解析研究所講究録, 482
TOWARD THE DESIGN AND IMPLEMENTATION OF OBJECT ORIENTED ARCHITECTURE   TOKORO, Mario (1983-03)   数理解析研究所講究録, 482: 1-22
Relational Algebra Machine GRACE   Kitsuregawa, Masaru; Tanaka, Hidehiko; Moto-oka, Tohru (1983-03)   数理解析研究所講究録, 482: 23-40
Design of a Lisp Machine - FLATS   Goto, E.; Soma, T.; Inada, N.; Ida, T.; Idesawa, M.; Hiraki, K.; Suzuki, M.; Shimizu, K.; Philipov, B. (1983-03)   数理解析研究所講究録, 482: 41-48
EFFECTS OF PRACTICAL ASSUMPTIONS IN AREA COMPLEXITY OF VLSI COMPUTATION   HAGIHARA, Ken'ichi; WADA, Kouichi; TOKURA, Nobuki (1983-03)   数理解析研究所講究録, 482: 49-72
Hardware Algorithms and Logic Design Automation : An Overview and Progress Report   YAJIMA, Shuzo; YASUURA, Hiroto (1983-03)   数理解析研究所講究録, 482: 73-97
Fixed point semantics of logical formulae   Oyagi, Shigeo (1983-03)   数理解析研究所講究録, 482: 98-114
Polynomial Time Inference of Extended Regular Pattern Languages   Shinohara, Takeshi (1983-03)   数理解析研究所講究録, 482: 115-128
A linear tree matching algorithm   Kojima, Keiji (1983-03)   数理解析研究所講究録, 482: 129-144
An Algorithm for Intelligent Backtracking   Sato, Taisuke (1983-03)   数理解析研究所講究録, 482: 145-155
Data Base Semantics Based on Intuitionistic Logics   Mizukami, Tatsunari (1983-03)   数理解析研究所講究録, 482: 156-182
MULTI-VERSION CONCURRENCY CONTROL SCHEME FOR A DATABASE SYSTEM : VERSION 1   Muro, Shojiro; Kameda, Tsunehiko; Minoura, Toshimi (1983-03)   数理解析研究所講究録, 482: 183-214
Design and Implementation of A Highly Modularized Functional language   Saji, Nobuyuki; Yonezawa, Akinori (1983-03)   数理解析研究所講究録, 482: 215-239
Treatment of Big Values in an Applicative Language HFP : Translation from By-Value Access to By-Update Access   Katayama, Takuya (1983-03)   数理解析研究所講究録, 482: 240-254
Partial Computation of Programs   Futamura, Yoshihiko (1983-03)   数理解析研究所講究録, 482: 255-295
Modularization and Abstraction in Logic Programming   Furukawa, K.; Nakajima, R.; Yonezawa, A. (1983-03)   数理解析研究所講究録, 482: 296-310