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 BibTeX
Günther Specht: Generating Explanation Trees even for Negations in Deductive DataBase Systems. 8-13 BibTeX
Markus P. J. Fromherz: Debugging Constraint Programs: The Abstraction Mismatch. 14-20 BibTeX

Stepwise Logic Program Construction

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

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 BibTeX
Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye: Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs. 39-51 BibTeX
Miguel-Angel Oros, Paul Y. Gloess: Inheritance in Datalog. 52-58 BibTeX

Visualisation

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

Environments and Tools

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