8. LPE 1997:
Leuven,
Belgium
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,
July 11,
1997,
Leuven,
Belgium.
(Was available on URL http://www.cs.usask.ca/project/envlop/8WLPE/)
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.
1-12 BibTeX
- Sarah Mallet, Mireille Ducassé:
Generating DDB Trees (Abstract).
13 BibTeX
- Gabriella Kókai, László Harmath, Tibor Gyimóthy:
Algorithmic Debugging and Testing of Prolog Programs.
14-21 BibTeX
- Anthony J. Kusalik, Eric Neufeld:
Resolving Color Conflicts During Color Unification.
22-32 BibTeX
- Paul Mulholland:
Incorporating Software Visualization into Prolog Teaching: A Challenge, a Restriction and an Opportunity.
33-42 BibTeX
- Ulrich Neumerkel, Christoph Rettig, Christian Schallart:
Visualizing Solutions with Viewers.
43-50 BibTeX
- Rick Vaupel, Enrico Pontelli, Gopal Gupta:
VACE: A Tool for Visualization of And-Or Parallel Execution.
51-54 BibTeX
- Christian Schulte:
Using the Oz Explorer for the Development of Constraint Programs.
55-56 BibTeX
- Mathias Kettner, Norbert Eisinger:
SNARKS: A Browser for Tableaux Derivations.
57-59 BibTeX
- Carlos Soares, Miguel Calejo:
From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog.
60-69 BibTeX
- Takanori Imaki, Kensei Tsuchida, Yoshihiro Adachi, Takeo Yaku:
Tree-Structured Diagram Drawing System Using CLP.
69-78 BibTeX
Copyright © Sat May 16 23:29:01 2009
by Michael Ley (ley@uni-trier.de)
