default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th 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 - Markus P. J. Fromherz:
Debugging Constraint Programs: The Abstraction Mismatch. LPE 1993: 14-20
Stepwise Logic Program Construction
- Leon Sterling, Sitt Chen Chok:
A Tool to Support Stepwise Enhancement in Prolog. LPE 1993: 21-26 - 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 - Miguel-Angel Oros, Paul Y. Gloess:
Inheritance in Datalog. LPE 1993: 52-58
Visualisation
- Anthony J. Kusalik, Gregory M. Oster:
A Constraint-Based Declarative Display Description Language for Visualization. LPE 1993: 59-67 - Anthony J. Kusalik, Steven D. 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 - Peter B. Reintjes, Suresh Rajgopal:
MULTI/PLEX: Prolog tools for Formal Languages. LPE 1993: 81-87 - Victor Alves, Abílio Ribeiro, José Neves:
Distributed Problem Solving: A Universal Computer Architecture. LPE 1993: 88-93 - Fevzi Belli, Oliver Jack:
A Product Assurance Environment for Prolog. LPE 1993: 94-99 - Alireza Azem, Fevzi Belli:
Reliability Prediction and Reliability Assessment Environment or Prolog Programs. LPE 1993: 100-105
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-29 00:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
