5. LPE 1993

Mireille Ducassé, Baudouin Le Charlier, Yow-Jian Lin, L. Ümit Yalçinalp (Eds.): Proceedings of the 5th Workshop on LOGIC PROGRAMMING ENVIRONMENTS (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada. Published by IRISA, Campus de Beaulieu, F-35042 Rennes Cedex, France

Explanation

Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava: Explaining Program Execution in Deductive Systems. 1-7
Günther Specht: Generating Explanation Trees even for Negations in Deductive DataBase Systems. 8-13
Markus P. J. Fromherz: Debugging Constraint Programs: The Abstraction Mismatch. 14-20

Stepwise Logic Program Construction

Leon Sterling, Sitt Chen Chok: A Tool to Support Stepwise Enhancement in Prolog. 21-26
Andrew Bowles, Wamberto Weber Vasconcelos: Characterizing Prolog Programming Techniques. 27-32

Program Analysis and LP Environments

P. Lefèbvre, Eric Villemonte de la Clergerie: How to build quickly an efficient implementation of the domain Prop with DyALog. 33-38
Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye: Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs. 39-51
Miguel-Angel Oros, Paul Y. Gloess: Inheritance in Datalog. 52-58

Visualisation

Anthony J. Kusalik, Gregory M. Oster: A Constraint-Based Declarative Display Description Language for Visualization. 59-67
Anthony J. Kusalik, Steven David Prestwich: Programmer-Oriented Visualization of Parallel Logic Program Execution. 69-74

Environments and Tools

Don Ferguson, Georges Saab, L. Ümit Yalçinalp: Quintus WorkPro Programming Enviroment: A Glue for Building Business Applications. 75-80
Peter B. Reintjes, Suresh Rajgopal: MULTI/PLEX: Prolog tools for Formal Languages. 81-87
Victor Alves, Abílio Ribeiro, José Neves: Distributed Problem Solving: A Universal Computer Architecture. 88-93
Fevzi Belli, Oliver Jack: A Product Assurance Environment for Prolog. 94-99
Alireza Azem, Fevzi Belli: Reliability Prediction and Reliability Assessment Environment or Prolog Programs. 100-105

Last update Fri May 25 08:25:35 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page