Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 11.

前
1
2
次

検索結果:

書誌情報	ファイル
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
Model Inference Incorporating Generalization ISHIZAKA, Hiroki (1987-04) 数理解析研究所講究録, 618: 1-15
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
Monitoring Ada Tasking Programs Correctly CHENG, Jingde; ARAKI, Keijiro; USHIJIMA, Kazuo (1987-04) 数理解析研究所講究録, 618: 110-129
Metis : A Term Rewriting System Generator : An Inference Engine for Equations and Inequations Ohsuga, Akihiko; Sakai, Ko (1987-04) 数理解析研究所講究録, 618: 170-187
RESUABLE DESIGN METHODOLOGY FOR SWITCHING SOFTWARE HORI, Yoshinori; KIMURA, Shigekatsu; MATSUURA, Hiroyuki (1987-04) 数理解析研究所講究録, 618: 76-96
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
LOGIC PROGRAMMING WITH NARROWING Yamamoto, Akihiro (1987-04) 数理解析研究所講究録, 618: 16-39