an integrated workshop at
International Conference on Logic Programming '99
November 29, 1999
Las Cruces, NM, USA
| Note: This programme is subject to change. | Last update: Friday November 19, 1999 |
| Also available as plain text or PostScript |
| Time | Main conference | Workshop on LP Environments |
|---|---|---|
| 09:00 - 09:10 | Opening | |
|
Invited Talk 1 |
||
| 09:10 - 10:10 |
"Declarative Programming for a Messy World", Fernando Pereira |
|
| 10:10 - 10:30 | Break | |
| 10:30 - 11:00 |
"Type-based Diagnosis of CLP Programs", Wlodek Drabent, Jan Maluszynski and Pawel Pietrzak |
|
| 11:00 - 11:30 |
"Debugging Prolog using Annotations", Marija Kulas |
|
| 11:30 - 12:00 |
"The Implementation Technology of the Mercury Debugger", Zoltan Somogyi and Fergus Henderson |
|
| 12:00 - 12:30 |
"Logichart -- Intelligible Program Diagram for Prolog
and its Processing System", Yoshihiro Adachi, Kensei Tsuchida, Takanori Imaki, and Takeo Yaku |
|
| 12:30 - 14:00 | Lunch | |
| Session on LP Environments | ||
| 14:00 - 14:30 |
"A Generic Approach to Monitor Program Executions", E. Jahier, M. Ducasse |
|
| 14:30 - 15:00 |
"Generating Deductive Database Explanations" S. Mallet, M. Ducasse |
|
| 15:00 - 15:30 | Break | |
| Invited Talk | ||
| 15:30 - 16:15 |
"The Alamo Execution Monitor Architecture", Clinton Jeffery |
|
| 16:15 - 16:30 | Break | |
| 16:30 - 17:00 |
"Knowledgesheet: A graphical spreadsheet interface for
interactively developping a class of constraint programs", Gopal Gupta and Shameem Akhter |
|
| 17:00 - 17:30 |
"A Documentation Generator for (C)LP Systems", Manuel Hermenegildo |
|
| 17:30 - 18:00 |
"Specifying Trace Models with a Continuation Semantics", Erwan Jahier, Mireille Ducassé and Olivier Ridoux |
|
Back to Workshop Home Page