Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alexandre Tessier (eds.) |
Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Anthony J. Kusalik (eds.) |
Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, December 1, 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Sarah Mallet, Mireille Ducassé |
Generating DDB Trees (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, pp. 13, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Paul Mulholland |
Incorporating Software Visualization into Prolog Teaching: A Challenge, a Restriction and an Opportunity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, pp. 33-42, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Rick Vaupel, Enrico Pontelli, Gopal Gupta 0001 |
VACE: A Tool for Visualization of And-Or Parallel Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, pp. 51-54, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Christian Schulte 0001 |
Using the Oz Explorer for the Development of Constraint Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, pp. 55-56, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Ulrich Neumerkel, Christoph Rettig, Christian Schallart |
Visualizing Solutions with Viewers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, pp. 43-50, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Gabriella Kókai, László Harmath, Tibor Gyimóthy |
Algorithmic Debugging and Testing of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, pp. 14-21, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Anthony J. Kusalik, Eric Neufeld |
Resolving Color Conflicts During Color Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, pp. 22-32, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Lee Naish |
A Three-Valued Declarative Debugging Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, pp. 1-12, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Anthony J. Kusalik, Mireille Ducassé, Ulrich Neumerkel (eds.) |
Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Carlos Soares, Miguel Calejo |
From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, pp. 60-69, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Takanori Imaki, Kensei Tsuchida, Yoshihiro Adachi, Takeo Yaku |
Tree-Structured Diagram Drawing System Using CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, pp. 69-78, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Mathias Kettner, Norbert Eisinger |
SNARKS: A Browser for Tableaux Derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, pp. 57-59, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Corin A. Gurr |
Techniques-Based Programming Environment for Gödel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Andreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, Franz Schmalhofer |
An Environment for Exploring and Validating Declarative Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Spiro Michaylov, Iván Ordóñez |
Time and Money: A Case Study in Systematic Development of Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Norbert E. Fuchs, Rolf Schwitter |
Attempto: Controlled Natural Language for Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Rayk Fenske, Ulrich Geske, Mario Lenz |
Generating Types Is Better than Programming Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Baudouin Le Charlier, Sabina Rossi |
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Markus P. J. Fromherz, Marc Kirschenbaum, Anthony J. Kusalik (eds.) |
Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Michael R. Levy |
Proposal for a Foreign Language Interface to Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Stéphane Schoenig, Mireille Ducassé |
Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Aurelie Bechina, Marios Siormanolakis |
Man Machine Service Embedded in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart, Henryk Jan Komorowski |
Task Force on Logic Program Development (Compulog Project). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | José Paulo Leal |
Data Oriented LP with Magritte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Wamberto Weber Vasconcelos, Norbert E. Fuchs |
Prolog Program Development via Enhanced Schema-based Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | José Paulo Leal |
Visualization and Interaction in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges, 1994, Tekniske Høgskole, University of Trondheim, Trondheim, Norway. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Bernardo Lula Jr., Eugène Chouraqui, Hélio de Menezes Silva |
Automatic Generation of Graphical Interfaces in an Object-Logic Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges, 1994, Tekniske Høgskole, University of Trondheim, Trondheim, Norway. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Ulrich Geske, Mario Lenz |
A Type Based Debugging Tool for Untyped Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges, 1994, Tekniske Høgskole, University of Trondheim, Trondheim, Norway. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Paul Tarau, Bart Demoen |
Language Embedding by Dual Compilation and State Mirroring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges, 1994, Tekniske Høgskole, University of Trondheim, Trondheim, Norway. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Liviu-Virgil Ciortuz, Mirela Petrea |
LOGOS: An Object-Oriented Scheme to Implement Logic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges, 1994, Tekniske Høgskole, University of Trondheim, Trondheim, Norway. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | |
Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![Tekniske Høgskole, University of Trondheim, Trondheim, Norway The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Sophie Renault, Pierre Deransart |
A Proof Manager for Verification of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges, 1994, Tekniske Høgskole, University of Trondheim, Trondheim, Norway. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Anthony J. Kusalik, Gregory M. Oster |
A Constraint-Based Declarative Display Description Language for Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 59-67, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Leon Sterling, Sitt Chen Chok |
A Tool to Support Stepwise Enhancement in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 21-26, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Miguel-Angel Oros, Paul Y. Gloess |
Inheritance in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 52-58, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Markus P. J. Fromherz |
Debugging Constraint Programs: The Abstraction Mismatch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 14-20, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![IRISA, Campus de Beaulieu, France The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | P. Lefèbvre, Éric Villemonte de la Clergerie |
How to build quickly an efficient implementation of the domain Prop with DyALog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 33-38, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Peter B. Reintjes, Suresh Rajgopal |
MULTI/PLEX: Prolog tools for Formal Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 81-87, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Günther Specht |
Generating Explanation Trees even for Negations in Deductive DataBase Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 8-13, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Don Ferguson, Georges Saab, L. Ümit Yalçinalp |
Quintus WorkPro Programming Enviroment: A Glue for Building Business Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 75-80, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Tarun Arora, Raghu Ramakrishnan 0001, William G. Roth, Praveen Seshadri, Divesh Srivastava |
Explaining Program Execution in Deductive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 1-7, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Anthony J. Kusalik, Steven D. Prestwich |
Programmer-Oriented Visualization of Parallel Logic Program Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 69-74, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Alireza Azem, Fevzi Belli |
Reliability Prediction and Reliability Assessment Environment or Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 100-105, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Andrew Bowles, Wamberto Weber Vasconcelos |
Characterizing Prolog Programming Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 27-32, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Victor Alves, Abílio Ribeiro, José Neves 0001 |
Distributed Problem Solving: A Universal Computer Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 88-93, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Fevzi Belli, Oliver Jack |
A Product Assurance Environment for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 94-99, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye |
Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), October 29-30, 1993, In conjunction with ILPS 1993, Vancouver, British Columbia, Canada, pp. 39-51, 1993, IRISA, Campus de Beaulieu, France. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé, Yow-Jian Lin, L. Ümit Yalçinalp (eds.) |
Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![Case Western Reserver University, Cleveland The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Pierre De Boeck, Jean Henrard, Baudouin Le Charlier |
FOLON: An Environment for Declarative Construction of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143., pp. 3-8, 1992, Case Western Reserver University, Cleveland. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Shigeru Ishida, Takashi Chikayama |
Programing Environment of PIMOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143., pp. 48-54, 1992, Case Western Reserver University, Cleveland. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Lee Naish |
Declarative Debugging of Lazy Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143., pp. 29-34, 1992, Case Western Reserver University, Cleveland. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Kasumi Susaki, Takashi Chikayama |
Programming in KL1 and AYA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143., pp. 42-47, 1992, Case Western Reserver University, Cleveland. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Pierre Flener, Yves Deville |
SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143., pp. 9-15, 1992, Case Western Reserver University, Cleveland. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé |
A Trace Analyser to Prototype Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143., pp. 22-28, 1992, Case Western Reserver University, Cleveland. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Clemens Beckstein, Gerhard Tobermann |
Evolutionary Logic Programming with RISC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143., pp. 16-21, 1992, Case Western Reserver University, Cleveland. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Michael Hanus, Berthold Josephs |
A Debugging Model for Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143., pp. 28-43, 1992, Case Western Reserver University, Cleveland. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé, Gérard Ferrand (eds.) |
Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![University of Orléans, France The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | José Paulo Leal, Luís Damas, Nelma Moreira |
An History Based Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6, pp. 10-16, 1991, University of Orléans, France. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé |
Analysis of Failing Prolog Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6, pp. 2-9, 1991, University of Orléans, France. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Michel Rueher |
Revisiting Capabilities of Graphic for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6, pp. 25-32, 1991, University of Orléans, France. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Santos Gerardo Lazzeri |
VIZZPROL: A Tool for Visualizing Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6, pp. 17-24, 1991, University of Orléans, France. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Rajiv Trehan |
A Process Based Tracer for KL1 on PIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6, pp. 33-41, 1991, University of Orléans, France. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | José Paulo Leal |
The YToolkit: A Prolog Approach to a User Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 19-29, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Vincenzo Loia, Michel Quaggetto, François-Xavier Testard-Vaillant |
A Prolog Debugging System is an Open System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 74-79, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jürgen F. H. Winkler, Axel v. Reeken, Adolf Schleiermacher |
A Prolog Debugger Based on a Refined Box Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 46-51, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Alain Callebaut, Bart Demoen |
Program Source as Model for Debugging Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 80-83, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Philippe Chatalic |
Keeping Track of Data Dependencies for Incremental Execution in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 6-11, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Alain Callebaut |
Carmen: A Prolog Tool for Generating User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 16-18, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Liliane Lardot, Norbert Batllou |
A Theory of Testing in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 52-56, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Anna-Maria Emde, Mireille Ducassé |
Automated Debugging of Non-Terminating Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 35-39, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Kenneth M. Kahn, Vijay A. Saraswat |
Complete Visualization of Concurrent Programs and Their Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 30-34, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Luc Cochard |
A Graphical Representation Environment for Complex Prolog Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 40-45, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Michel Bergère, Gérard Ferrand |
A Semantics for Error Declarative Notion of Logic Programs with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 57-62, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé, Anna-Maria Emde, Anthony J. Kusalik, Jacob Levy (eds.) |
Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Ryozo Kiyohara, Koichi Nakao, Kumiko Wada, Takashi Chikayama |
PIMOS: A Concurrent Logic Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 63-67, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero |
The Logic Language ESP and its Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 12-15, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jan Wielemaker |
A Programming Environment for Developing Large Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 1-5, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Gabriel David, António Porto |
Generic Browsing: A Case for Contextual Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, pp. 68-73, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|