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 |
LPE |
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 |
LPE |
2001 |
DBLP BibTeX RDF |
|
1 | Sarah Mallet, Mireille Ducassé |
Generating DDB Trees (Abstract). |
LPE |
1997 |
DBLP BibTeX RDF |
|
1 | Paul Mulholland |
Incorporating Software Visualization into Prolog Teaching: A Challenge, a Restriction and an Opportunity. |
LPE |
1997 |
DBLP BibTeX RDF |
|
1 | Rick Vaupel, Enrico Pontelli, Gopal Gupta 0001 |
VACE: A Tool for Visualization of And-Or Parallel Execution. |
LPE |
1997 |
DBLP BibTeX RDF |
|
1 | Christian Schulte 0001 |
Using the Oz Explorer for the Development of Constraint Programs. |
LPE |
1997 |
DBLP BibTeX RDF |
|
1 | Ulrich Neumerkel, Christoph Rettig, Christian Schallart |
Visualizing Solutions with Viewers. |
LPE |
1997 |
DBLP BibTeX RDF |
|
1 | Gabriella Kókai, László Harmath, Tibor Gyimóthy |
Algorithmic Debugging and Testing of Prolog Programs. |
LPE |
1997 |
DBLP BibTeX RDF |
|
1 | Anthony J. Kusalik, Eric Neufeld |
Resolving Color Conflicts During Color Unification. |
LPE |
1997 |
DBLP BibTeX RDF |
|
1 | Lee Naish |
A Three-Valued Declarative Debugging Scheme. |
LPE |
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 |
LPE |
1997 |
DBLP BibTeX RDF |
|
1 | Carlos Soares, Miguel Calejo |
From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog. |
LPE |
1997 |
DBLP BibTeX RDF |
|
1 | Takanori Imaki, Kensei Tsuchida, Yoshihiro Adachi, Takeo Yaku |
Tree-Structured Diagram Drawing System Using CLP. |
LPE |
1997 |
DBLP BibTeX RDF |
|
1 | Mathias Kettner, Norbert Eisinger |
SNARKS: A Browser for Tableaux Derivations. |
LPE |
1997 |
DBLP BibTeX RDF |
|
1 | Corin A. Gurr |
Techniques-Based Programming Environment for Gödel. |
LPE |
1995 |
DBLP BibTeX RDF |
|
1 | Andreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, Franz Schmalhofer |
An Environment for Exploring and Validating Declarative Knowledge. |
LPE |
1995 |
DBLP BibTeX RDF |
|
1 | Spiro Michaylov, Iván Ordóñez |
Time and Money: A Case Study in Systematic Development of Constraint Logic Programs. |
LPE |
1995 |
DBLP BibTeX RDF |
|
1 | Norbert E. Fuchs, Rolf Schwitter |
Attempto: Controlled Natural Language for Requirements Specifications. |
LPE |
1995 |
DBLP BibTeX RDF |
|
1 | Rayk Fenske, Ulrich Geske, Mario Lenz |
Generating Types Is Better than Programming Them. |
LPE |
1995 |
DBLP BibTeX RDF |
|
1 | Baudouin Le Charlier, Sabina Rossi |
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions. |
LPE |
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 |
LPE |
1995 |
DBLP BibTeX RDF |
|
1 | Michael R. Levy |
Proposal for a Foreign Language Interface to Prolog. |
LPE |
1995 |
DBLP BibTeX RDF |
|
1 | Stéphane Schoenig, Mireille Ducassé |
Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog. |
LPE |
1995 |
DBLP BibTeX RDF |
|
1 | Aurelie Bechina, Marios Siormanolakis |
Man Machine Service Embedded in Logic Programming. |
LPE |
1995 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart, Henryk Jan Komorowski |
Task Force on Logic Program Development (Compulog Project). |
LPE |
1995 |
DBLP BibTeX RDF |
|
1 | José Paulo Leal |
Data Oriented LP with Magritte. |
LPE |
1995 |
DBLP BibTeX RDF |
|
1 | Wamberto Weber Vasconcelos, Norbert E. Fuchs |
Prolog Program Development via Enhanced Schema-based Transformations. |
LPE |
1995 |
DBLP BibTeX RDF |
|
1 | José Paulo Leal |
Visualization and Interaction in Logic Programming. |
LPE |
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. |
LPE |
1994 |
DBLP BibTeX RDF |
|
1 | Ulrich Geske, Mario Lenz |
A Type Based Debugging Tool for Untyped Logic Languages. |
LPE |
1994 |
DBLP BibTeX RDF |
|
1 | Paul Tarau, Bart Demoen |
Language Embedding by Dual Compilation and State Mirroring. |
LPE |
1994 |
DBLP BibTeX RDF |
|
1 | Liviu-Virgil Ciortuz, Mirela Petrea |
LOGOS: An Object-Oriented Scheme to Implement Logic Programming Languages. |
LPE |
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 |
LPE |
1994 |
DBLP BibTeX RDF |
|
1 | Sophie Renault, Pierre Deransart |
A Proof Manager for Verification of Logic Programs. |
LPE |
1994 |
DBLP BibTeX RDF |
|
1 | Anthony J. Kusalik, Gregory M. Oster |
A Constraint-Based Declarative Display Description Language for Visualization. |
LPE |
1993 |
DBLP BibTeX RDF |
|
1 | Leon Sterling, Sitt Chen Chok |
A Tool to Support Stepwise Enhancement in Prolog. |
LPE |
1993 |
DBLP BibTeX RDF |
|
1 | Miguel-Angel Oros, Paul Y. Gloess |
Inheritance in Datalog. |
LPE |
1993 |
DBLP BibTeX RDF |
|
1 | Markus P. J. Fromherz |
Debugging Constraint Programs: The Abstraction Mismatch. |
LPE |
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 |
LPE |
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. |
LPE |
1993 |
DBLP BibTeX RDF |
|
1 | Peter B. Reintjes, Suresh Rajgopal |
MULTI/PLEX: Prolog tools for Formal Languages. |
LPE |
1993 |
DBLP BibTeX RDF |
|
1 | Günther Specht |
Generating Explanation Trees even for Negations in Deductive DataBase Systems. |
LPE |
1993 |
DBLP BibTeX RDF |
|
1 | Don Ferguson, Georges Saab, L. Ümit Yalçinalp |
Quintus WorkPro Programming Enviroment: A Glue for Building Business Applications. |
LPE |
1993 |
DBLP BibTeX RDF |
|
1 | Tarun Arora, Raghu Ramakrishnan 0001, William G. Roth, Praveen Seshadri, Divesh Srivastava |
Explaining Program Execution in Deductive Systems. |
LPE |
1993 |
DBLP BibTeX RDF |
|
1 | Anthony J. Kusalik, Steven D. Prestwich |
Programmer-Oriented Visualization of Parallel Logic Program Execution. |
LPE |
1993 |
DBLP BibTeX RDF |
|
1 | Alireza Azem, Fevzi Belli |
Reliability Prediction and Reliability Assessment Environment or Prolog Programs. |
LPE |
1993 |
DBLP BibTeX RDF |
|
1 | Andrew Bowles, Wamberto Weber Vasconcelos |
Characterizing Prolog Programming Techniques. |
LPE |
1993 |
DBLP BibTeX RDF |
|
1 | Victor Alves, Abílio Ribeiro, José Neves 0001 |
Distributed Problem Solving: A Universal Computer Architecture. |
LPE |
1993 |
DBLP BibTeX RDF |
|
1 | Fevzi Belli, Oliver Jack |
A Product Assurance Environment for Prolog. |
LPE |
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. |
LPE |
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. |
LPE |
1992 |
DBLP BibTeX RDF |
|
1 | Pierre De Boeck, Jean Henrard, Baudouin Le Charlier |
FOLON: An Environment for Declarative Construction of Logic Programs. |
LPE |
1992 |
DBLP BibTeX RDF |
|
1 | Shigeru Ishida, Takashi Chikayama |
Programing Environment of PIMOS. |
LPE |
1992 |
DBLP BibTeX RDF |
|
1 | Lee Naish |
Declarative Debugging of Lazy Functional Programs. |
LPE |
1992 |
DBLP BibTeX RDF |
|
1 | Kasumi Susaki, Takashi Chikayama |
Programming in KL1 and AYA. |
LPE |
1992 |
DBLP BibTeX RDF |
|
1 | Pierre Flener, Yves Deville |
SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. |
LPE |
1992 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé |
A Trace Analyser to Prototype Explanations. |
LPE |
1992 |
DBLP BibTeX RDF |
|
1 | Clemens Beckstein, Gerhard Tobermann |
Evolutionary Logic Programming with RISC. |
LPE |
1992 |
DBLP BibTeX RDF |
|
1 | Michael Hanus, Berthold Josephs |
A Debugging Model for Functional Logic Programs. |
LPE |
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 |
LPE |
1991 |
DBLP BibTeX RDF |
|
1 | José Paulo Leal, Luís Damas, Nelma Moreira |
An History Based Interface. |
LPE |
1991 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé |
Analysis of Failing Prolog Executions. |
LPE |
1991 |
DBLP BibTeX RDF |
|
1 | Michel Rueher |
Revisiting Capabilities of Graphic for Logic Programming. |
LPE |
1991 |
DBLP BibTeX RDF |
|
1 | Santos Gerardo Lazzeri |
VIZZPROL: A Tool for Visualizing Prolog Programs. |
LPE |
1991 |
DBLP BibTeX RDF |
|
1 | Rajiv Trehan |
A Process Based Tracer for KL1 on PIM. |
LPE |
1991 |
DBLP BibTeX RDF |
|
1 | José Paulo Leal |
The YToolkit: A Prolog Approach to a User Interface. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Vincenzo Loia, Michel Quaggetto, François-Xavier Testard-Vaillant |
A Prolog Debugging System is an Open System. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Jürgen F. H. Winkler, Axel v. Reeken, Adolf Schleiermacher |
A Prolog Debugger Based on a Refined Box Model. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Alain Callebaut, Bart Demoen |
Program Source as Model for Debugging Prolog. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Philippe Chatalic |
Keeping Track of Data Dependencies for Incremental Execution in Logic Programming. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Alain Callebaut |
Carmen: A Prolog Tool for Generating User Interfaces. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Liliane Lardot, Norbert Batllou |
A Theory of Testing in Logic Programming. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Anna-Maria Emde, Mireille Ducassé |
Automated Debugging of Non-Terminating Prolog Programs. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Kenneth M. Kahn, Vijay A. Saraswat |
Complete Visualization of Concurrent Programs and Their Executions. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Luc Cochard |
A Graphical Representation Environment for Complex Prolog Structures. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Michel Bergère, Gérard Ferrand |
A Semantics for Error Declarative Notion of Logic Programs with Negation. |
LPE |
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 |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Ryozo Kiyohara, Koichi Nakao, Kumiko Wada, Takashi Chikayama |
PIMOS: A Concurrent Logic Programming Environment. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero |
The Logic Language ESP and its Programming Environment. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Jan Wielemaker |
A Programming Environment for Developing Large Applications. |
LPE |
1990 |
DBLP BibTeX RDF |
|
1 | Gabriel David, António Porto |
Generic Browsing: A Case for Contextual Logic Programming. |
LPE |
1990 |
DBLP BibTeX RDF |
|