FGCS'94 Workshop 1
Parallel Logic Programming
|
|
December 15 and 16, 1994 Schonbach Sabo, Tokyo |
|
COVER |
|
CONTENTS |
|
Invited Talk |
|
Some shared problems in compiling Functional and Logic languages |
1 |
Arvind |
|
|
|
Talks |
|
Language |
|
Embedding of Moded Flat GHC into Polyadic π-Calculus |
3 |
Keiji Hirata |
|
An Efficient Implementation of Reflection in KL1 |
17 |
Toshiyuki Takahashi, Masayuki Takeda |
|
Moded Flat GHC for Data-Parallel Programming |
27 |
Kazunori Ueda |
|
|
|
Systems |
|
Super Monaco Brothers: The Sequel |
36 |
James S. Larson, Bart C. Massey, Evan Tick |
|
Design of a Distributed Scheduler for a Parallel CLP System |
50 |
Liang-Liang Li |
|
System Integration of the Parallel Inference Engine PIE64 |
64 |
Takuya Araki, Yasuo Hidaka, Hidemoto Nakada, Hanpei Koike, Hidehiko Tanaka |
|
Load Distribution System of PIE64 |
77 |
Satoshi Murakami, Hidemoto Nakada, Yasuo Hidaka, Hanpei Koike, Hidehiko
Tanaka |
|
|
|
Distributed Systems |
|
Design and Implementation of a Handy Distributed KLIC System |
91 |
Kiyofumi Kakiuchi, Masanobu Ookawa, Tatsuya Hagino, Koichi Furukawa, Takashi
Hattori |
|
Reference Loops Management in a Distributed KLIC Implementation |
102 |
Kazuaki Rokusawa, Takashi Chikayama, Tetsuro Fujise, Akihiko Nakase |
|
|
|
Garbage Collection |
|
A Parallel Real-time Garbage Collection Scheme for Shared-memory Multiprocessors |
110 |
Khayri A. M. Ali |
|
A Shared-Memory Parallel Extension of KLIC and its Garbage Collection |
113 |
Nobuyuki Ichiyoshi, Masao Morita, Takashi Chikayama |
|
|
|
Other Topics |
|
Literal Dependence Net and Its Use in Concurrent Logic Programming Environment |
127 |
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
|
Automatic Transformation of Deterministic Prolog Programs to KL1 |
142 |
Konstantinos Varsamos |
|
Searching Bayes Nets by Exploiting Task Priority |
158 |
Evan Tick |
|
|
|