Sign in
LPE
1990
1994
1998
2002
1990
2002
Keyphrases
Publications
2002
Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002
LPE
(2002)
2001
Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, December 1, 2001
LPE
(2001)
1997
Takanori Imaki
,
Kensei Tsuchida
,
Yoshihiro Adachi
,
Takeo Yaku
Tree-Structured Diagram Drawing System Using CLP.
LPE
(1997)
Anthony J. Kusalik
,
Eric Neufeld
Resolving Color Conflicts During Color Unification.
LPE
(1997)
Carlos Soares
,
Miguel Calejo
From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog.
LPE
(1997)
Christian Schulte
Using the Oz Explorer for the Development of Constraint Programs.
LPE
(1997)
Gabriella Kókai
,
László Harmath
,
Tibor Gyimóthy
Algorithmic Debugging and Testing of Prolog Programs.
LPE
(1997)
Ulrich Neumerkel
,
Christoph Rettig
,
Christian Schallart
Visualizing Solutions with Viewers.
LPE
(1997)
Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997
LPE
(1997)
Sarah Mallet
,
Mireille Ducassé
Generating DDB Trees (Abstract).
LPE
(1997)
Paul Mulholland
Incorporating Software Visualization into Prolog Teaching: A Challenge, a Restriction and an Opportunity.
LPE
(1997)
Lee Naish
A Three-Valued Declarative Debugging Scheme.
LPE
(1997)
Mathias Kettner
,
Norbert Eisinger
SNARKS: A Browser for Tableaux Derivations.
LPE
(1997)
Rick Vaupel
,
Enrico Pontelli
,
Gopal Gupta
VACE: A Tool for Visualization of And-Or Parallel Execution.
LPE
(1997)
1995
Michael R. Levy
Proposal for a Foreign Language Interface to Prolog.
LPE
(1995)
Stéphane Schoenig
,
Mireille Ducassé
Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog.
LPE
(1995)
Corin A. Gurr
Techniques-Based Programming Environment for Gödel.
LPE
(1995)
Aurelie Bechina
,
Marios Siormanolakis
Man Machine Service Embedded in Logic Programming.
LPE
(1995)
Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995
LPE
(1995)
Norbert E. Fuchs
,
Rolf Schwitter
Attempto: Controlled Natural Language for Requirements Specifications.
LPE
(1995)
Andreas Abecker
,
Harold Boley
,
Knut Hinkelmann
,
Holger Wache
,
Franz Schmalhofer
An Environment for Exploring and Validating Declarative Knowledge.
LPE
(1995)
Pierre Deransart
,
Henryk Jan Komorowski
Task Force on Logic Program Development (Compulog Project).
LPE
(1995)
Wamberto Weber Vasconcelos
,
Norbert E. Fuchs
Prolog Program Development via Enhanced Schema-based Transformations.
LPE
(1995)
Spiro Michaylov
,
Iván Ordóñez
Time and Money: A Case Study in Systematic Development of Constraint Logic Programs.
LPE
(1995)
Baudouin Le Charlier
,
Sabina Rossi
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions.
LPE
(1995)
José Paulo Leal
Data Oriented LP with Magritte.
LPE
(1995)
Rayk Fenske
,
Ulrich Geske
,
Mario Lenz
Generating Types Is Better than Programming Them.
LPE
(1995)
1994
Ulrich Geske
,
Mario Lenz
A Type Based Debugging Tool for Untyped Logic Languages.
LPE
(1994)
Paul Tarau
,
Bart Demoen
Language Embedding by Dual Compilation and State Mirroring.
LPE
(1994)
José Paulo Leal
Visualization and Interaction in Logic Programming.
LPE
(1994)
Liviu-Virgil Ciortuz
,
Mirela Petrea
LOGOS: An Object-Oriented Scheme to Implement Logic Programming Languages.
LPE
(1994)
Bernardo Lula Jr.
,
Eugène Chouraqui
,
Hélio de Menezes Silva
Automatic Generation of Graphical Interfaces in an Object-Logic Programming Environment.
LPE
(1994)
Sophie Renault
,
Pierre Deransart
A Proof Manager for Verification of Logic Programs.
LPE
(1994)
Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges
LPE
(1994)
1993
Miguel-Angel Oros
,
Paul Y. Gloess
Inheritance in Datalog.
LPE
(1993)
Markus P. J. Fromherz
Debugging Constraint Programs: The Abstraction Mismatch.
LPE
(1993)
Anthony J. Kusalik
,
Steven D. Prestwich
Programmer-Oriented Visualization of Parallel Logic Program Execution.
LPE
(1993)
Leon Sterling
,
Sitt Chen Chok
A Tool to Support Stepwise Enhancement in Prolog.
LPE
(1993)
Don Ferguson
,
Georges Saab
,
L. Ümit Yalçinalp
Quintus WorkPro Programming Enviroment: A Glue for Building Business Applications.
LPE
(1993)
Victor Alves
,
Abílio Ribeiro
,
José Neves
Distributed Problem Solving: A Universal Computer Architecture.
LPE
(1993)
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)
Tarun Arora
,
Raghu Ramakrishnan
,
William G. Roth
,
Praveen Seshadri
,
Divesh Srivastava
Explaining Program Execution in Deductive Systems.
LPE
(1993)
Fevzi Belli
,
Oliver Jack
A Product Assurance Environment for Prolog.
LPE
(1993)
Alireza Azem
,
Fevzi Belli
Reliability Prediction and Reliability Assessment Environment or Prolog Programs.
LPE
(1993)
P. Lefèbvre
,
Éric Villemonte de la Clergerie
How to build quickly an efficient implementation of the domain Prop with DyALog.
LPE
(1993)
Anthony J. Kusalik
,
Gregory M. Oster
A Constraint-Based Declarative Display Description Language for Visualization.
LPE
(1993)
Peter B. Reintjes
,
Suresh Rajgopal
MULTI/PLEX: Prolog tools for Formal Languages.
LPE
(1993)
Dmitri Boulanger
,
Maurice Bruynooghe
,
Danny De Schreye
Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs.
LPE
(1993)
Andrew Bowles
,
Wamberto Weber Vasconcelos
Characterizing Prolog Programming Techniques.
LPE
(1993)
Günther Specht
Generating Explanation Trees even for Negations in Deductive DataBase Systems.
LPE
(1993)