5. LPE 1993
- Mireille Ducassé, Baudouin Le Charlier, Yow-Jian Lin, L. Ümit Yalçinalp:
Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada. IRISA, Campus de Beaulieu, France 1993
Explanation
- Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava:
Explaining Program Execution in Deductive Systems. LPE 1993: 1-7 - Günther Specht:
Generating Explanation Trees even for Negations in Deductive DataBase Systems. LPE 1993: 8-13
Stepwise Logic Program Construction
- Andrew Bowles, Wamberto Weber Vasconcelos:
Characterizing Prolog Programming Techniques. LPE 1993: 27-32
Program Analysis and LP Environments
- P. Lefèbvre, Éric Villemonte de la Clergerie:
How to build quickly an efficient implementation of the domain Prop with DyALog. LPE 1993: 33-38 - Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye:
Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs. LPE 1993: 39-51
Visualisation
- Anthony J. Kusalik, Gregory M. Oster:
A Constraint-Based Declarative Display Description Language for Visualization. LPE 1993: 59-67 - Anthony J. Kusalik, Steven David Prestwich:
Programmer-Oriented Visualization of Parallel Logic Program Execution. LPE 1993: 69-74
Environments and Tools
- Don Ferguson, Georges Saab, L. Ümit Yalçinalp:
Quintus WorkPro Programming Enviroment: A Glue for Building Business Applications. LPE 1993: 75-80 - Victor Alves, Abílio Ribeiro, José Neves:
Distributed Problem Solving: A Universal Computer Architecture. LPE 1993: 88-93 - Alireza Azem, Fevzi Belli:
Reliability Prediction and Reliability Assessment Environment or Prolog Programs. LPE 1993: 100-105