No.482

1982/06/24〜1982/06/26

後藤　英一

GOTO,EIICHI

目　次

1. TOWARD THE DESIGN AND IMPLEMENTATION OF OBJECT ORIENTED ARCHITECTURE--------------------------------------------------------------1

　　　　Department of E.E., Keio University　　　TOKORO, Mario

　

2. Relational Algebra Machine GRACE-------------------------------------------------------------------------------------------------23

　　　　University of Tokyo, Faculty of Engineering / University of Tokyo, Faculty of Engineering / University of Tokyo, Faculty of Engineering　　　Kitsuregawa, Masaru / Tanaka, Hidehiko / Moto-oka, Tohru

　

3. Design of a Lisp Machine - FLATS-------------------------------------------------------------------------------------------------41

　　　　The Institute of Physical and Chemical Research / The Institute of Physical and Chemical Research / The Institute of Physical and Chemical Research　　　Goto, E. / Soma, T. / Inada, N.[他]

　

4. EFFECTS OF PRACTICAL ASSUMPTIONS IN AREA COMPLEXITY OF VLSI COMPUTATION----------------------------------------------------------49

　　　　Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University / Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University / Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University　　　HAGIHARA, Ken'ichi / WADA, Kouichi / TOKURA, Nobuki

　

5. Hardware Algorithms and Logic Design Automation : An Overview and Progress Report------------------------------------------------73

　　　　Faculty of Engineering, Kyoto University / Faculty of Engineering, Kyoto University　　　YAJIMA, Shuzo / YASUURA, Hiroto

　

6. Fixed point semantics of logical formulae----------------------------------------------------------------------------------------98

　　　　Electrotechnical Laboratory　　　Oyagi, Shigeo

　

7. Polynomial Time Inference of Extended Regular Pattern Languages-----------------------------------------------------------------115

　　　　Computer Center, Kyushu University　　　Shinohara, Takeshi

　

8. A linear tree matching algorithm------------------------------------------------------------------------------------------------129

　　　　Central Research Laboratory, Hitachi Ltd.　　　Kojima, Keiji

　

9. An Algorithm for Intelligent Backtracking---------------------------------------------------------------------------------------145

　　　　Electrotechnical Laboratory　　　Sato, Taisuke

　

10. Data Base Semantics Based on Intuitionistic Logics-----------------------------------------------------------------------------156

　　　　Kushiro Technical College　　　Mizukami, Tatsunari

　

11. MULTI-VERSION CONCURRENCY CONTROL SCHEME FOR A DATABASE SYSTEM : VERSION 1-----------------------------------------------------183

　　　　Kyoto University / Simon Fraser University / University of Southern California　　　室 章治郎 / 亀田 恒彦 / 箕浦 敏美　(Muro, Shojiro / Kameda, Tsunehiko / Minoura, Toshimi)

　

12. Design and Implementation of A Highly Modularized Functional language----------------------------------------------------------215

　　　　Software Product Engineering Laboratory, Nippon Electric Company / Department of Information Science, Tokyo Institute of Technology　　　Saji, Nobuyuki / Yonezawa, Akinori

　

13. Treatment of Big Values in an Applicative Language HFP : Translation from By-Value Access to By-Update Access------------------240

　　　　Department of Computer Science, Tokyo Institute of Technology　　　Katayama, Takuya

　

14. Partial Computation of Programs------------------------------------------------------------------------------------------------255

　　　　Central Research Laboratory, HITACHI, LTD.　　　Futamura, Yoshihiko

　

15. Modularization and Abstraction in Logic Programming----------------------------------------------------------------------------296

　　　　ICOT / Kyoto University / Tokyo Institute of Technology　　　Furukawa, K. / Nakajima, R. / Yonezawa, A.