default search action
8th LPE 1997: Leuven, Belgium
- Anthony J. Kusalik, Mireille Ducassé, Ulrich Neumerkel:
Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997. 1997
Preface
The Eighth Workshop on Logic Programming Environments (8WLPE) is one in a series of international workshops held in the topic area. The workshops facilitate the exchange ideas and results among researchers and (logic programming) system developers on all aspects of environments for logic programming. Relevant topics for these workshops include user interfaces, human engineering, execution visualization, development tools, providing for new paradigms, and interfacing to language system tools and external systems. This eighth workshop follows the successful Seventh Workshop on Logic Programming Environments, held in December, 1995.
8WLPE features eleven presentations from a broad spectrum of research groups. Six of the presentations are papers, and five are "demos". A majority of the presentations involve, in some way, visualization of computations in Prolog or other logic programming paradigms. Other topics areas addressed include declarative and algorithmic debugging, application building, instructional aids (for learning users), and deductive databases. All presentations are documented herein, either as full papers or extended abstracts.
- Lee Naish:
A Three-Valued Declarative Debugging Scheme. LPE 1997: 1-12 - Sarah Mallet, Mireille Ducassé:
Generating DDB Trees (Abstract). LPE 1997: 13 - Gabriella Kókai, László Harmath, Tibor Gyimóthy:
Algorithmic Debugging and Testing of Prolog Programs. LPE 1997: 14-21 - Anthony J. Kusalik, Eric Neufeld:
Resolving Color Conflicts During Color Unification. LPE 1997: 22-32 - Paul Mulholland:
Incorporating Software Visualization into Prolog Teaching: A Challenge, a Restriction and an Opportunity. LPE 1997: 33-42 - Ulrich Neumerkel, Christoph Rettig, Christian Schallart:
Visualizing Solutions with Viewers. LPE 1997: 43-50 - Rick Vaupel, Enrico Pontelli, Gopal Gupta:
VACE: A Tool for Visualization of And-Or Parallel Execution. LPE 1997: 51-54 - Christian Schulte:
Using the Oz Explorer for the Development of Constraint Programs. LPE 1997: 55-56 - Mathias Kettner, Norbert Eisinger:
SNARKS: A Browser for Tableaux Derivations. LPE 1997: 57-59 - Carlos Soares, Miguel Calejo:
From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog. LPE 1997: 60-69 - Takanori Imaki, Kensei Tsuchida, Yoshihiro Adachi, Takeo Yaku:
Tree-Structured Diagram Drawing System Using CLP. LPE 1997: 69-78
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.