|
cover |
|
|
Table of Contents |
|
|
|
|
1. |
1985 |
|
|
REPORT ON A VISIT TO ICOT
Professor Douglas S. Kerr |
1 |
|
A report on a visit to ICOT
Professor Randolph George Goebel |
7 |
|
A report on a Visit to ICOT
Professor Jieh Hsiang |
14 |
|
Report on a Research Visit to ICOT
Dr. Paul F. Wilk |
21 |
|
Report on a Visit to ICOT
Dr. John W. Lloyd |
35 |
|
Another Visit to ICOT
Dr. Mike Reeve |
42 |
|
|
|
2. |
1986 |
|
|
Final Report on a Visit to ICOT
Dr. Carl. J. Pollard |
48 |
|
Report on a Visit to ICOT
Professor Lawrence Henschen |
53 |
|
REPORT ON A VISIT TO ICOT
Dr. Steve Gregory |
57 |
|
Report on a Visit to ICOT
Professor Bruno Buchberger |
68 |
|
Report on Visit To ICOT
Mr. Evan Tick |
81 |
|
|
|
3. |
1987 |
|
|
Programming Language and Computer Architecture Research at ICOT
Dr. John S. Conery |
89 |
|
A Visit to ICOT
Mr. Ian Foster |
101 |
|
ICOT Trip Report
Dr. Jonas Barklund |
111 |
|
Rewriting Techniques and Logic Programming Report on a Visit to ICOT
Dr. Pierre Lescanne |
117 |
|
Impressions of Japan and ICOT
Dr. Franco di Primio |
121 |
|
Concurrent Logic Programming Languages and Partial Evaluation Report on
a Visit to ICOT
Professor Giorgio Levi |
126 |
|
Constraint Logic Programming Report on a Visit to ICOT
Professor Ken McAloon |
135 |
|
|
|
3. |
1988 |
|
|
Report of a stay at ICOT
Professor Gerard Huet |
140 |
|
Summer 1988 at ICOT: Some Impressions and Preliminary Results
Dr. AndrZej Ciepielewski |
148 |
|
Research on Parallel Logic Language Implementation and Architecture at
ICOT
Dr. Manuel V. Hermenegildo |
157 |
|
A visit to ICOT
Professor Maurice Nivat |
175 |
|
ICOT Trip Report
Professor John Lloyd |
183 |
|
Report on ICOT Visit
Professor Robin Cooper |
188 |
|
Visiting ICOT: A Trip report
Professor Catriel Beeri |
192 |
|
Visiting ICOT: A Trip Report
Dr. Manny Rayner |
201 |
|
Semantics of Concurrent Logic Languages: report on a visit to ICOT
Dr.Moreno Falaschi |
206 |
|
|
|