: Date: Fri, 22 Oct 1999 19:27:25 +0200 (MET DST) : From: Mireille Ducasse Mireille.Ducasse@insa-rennes.fr : Resent-From: Mats Carlsson matsc@sics.se : ---------------------------------------------------------------------- : [Please distribute] : : The 10th Workshop on Logic Programming Environments : : an integrated workshop at the : International Conference on Logic Programming '99 : : Monday November 29, 1999 : Las Cruces, NM, USA : : Workshop URL: http://www.cs.usask.ca/projects/envlop/WLPE/10WLPE/ : : Program : : Main conference - : : 9:00 -- 9:10 Opening : : 9:10 -- 10:10 Invited Talk 1 : Declarative Programming for a Messy World : Fernando Pereira : : : Workshop on LP Environments : : 10:30 -- 11:00 A Type-based Static Diagnosis of CHIP : Wlodek Drabent, Pawel Pietrzak and Jan Maluszynski : : 11:00 -- 11:30 Prolog Annotations as Transformations : 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, Takeo Yaku : : Main conference -- 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 : : Break : : Workshop on LP Environments : : 15:30 -- 16:15 Invited talk : The Alamo Execution Monitor Architecture : Clinton Jeffery : : Break : : 16:30 -- 17:00 Knowledgesheet: A graphical spreadsheet interface for : interactively developping constraint programs : Gopal Gupta and Shameem Akhter : : 17:00 -- 17:30 pro2doc: A Documentation Generator for Logic Programming Systems : Manuel Hermenegildo : : 17:30 -- 18:00 Specifying trace models with a continuation semantics : Erwan Jahier, Mireille Ducassé and Olivier Ridoux
-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html