書誌情報	ファイル
表紙・目次    (1987-04)   数理解析研究所講究録, 618
Model Inference Incorporating Generalization   ISHIZAKA, Hiroki (1987-04)   数理解析研究所講究録, 618: 1-15
LOGIC PROGRAMMING WITH NARROWING   Yamamoto, Akihiro (1987-04)   数理解析研究所講究録, 618: 16-39
Fixed Point Semantics for Parallel Logic Programming Languages   Shibayama, Etsuya (1987-04)   数理解析研究所講究録, 618: 40-58
Inheritance Mechanisms in Distributed Object-Oriented Languages   BRIOT, Jean-Pierre; YONEZAWA, Akinori (1987-04)   数理解析研究所講究録, 618: 59-75
RESUABLE DESIGN METHODOLOGY FOR SWITCHING SOFTWARE   HORI, Yoshinori; KIMURA, Shigekatsu; MATSUURA, Hiroyuki (1987-04)   数理解析研究所講究録, 618: 76-96
On the Working Set Concept for Data-flow Machines : Consideration on List Processing on a Hierarchical Structured Memory   Nagamatsu, Tatsuo; Sunahara, Hideki; Tokoro, Mario (1987-04)   数理解析研究所講究録, 618: 97-109
Monitoring Ada Tasking Programs Correctly   CHENG, Jingde; ARAKI, Keijiro; USHIJIMA, Kazuo (1987-04)   数理解析研究所講究録, 618: 110-129
Coupled context free grammars and a programming language based on them   YAMASHITA, Yoshiyuki; NAKATA, Ikuo (1987-04)   数理解析研究所講究録, 618: 130-149
Equational Computation of LALR(1) Look-Ahead Sets   Anzai, Hiroyuki (1987-04)   数理解析研究所講究録, 618: 150-169
Metis : A Term Rewriting System Generator : An Inference Engine for Equations and Inequations   Ohsuga, Akihiko; Sakai, Ko (1987-04)   数理解析研究所講究録, 618: 170-187