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, December 8, 1995, in Portland, Oregon, USA. (Was available on URL http://www.cs.usask.ca/project/envlop/7WLPE/)

Abstract

This workshop is the next in a series of successful workshops, the previous one being held in June 1994 in conjunction with ICLP'94. Every year, this workshop allows researchers and Logic Programming system developers to exchange ideas and results on all aspects of environments for logic programming. Relevant topics include user interfaces, human engineering, execution visualization, development tools, providing for new paradigms, and interfacing to language system tools and external systems.

This year, 22 authors from eight countries contributed 11 papers. The emphasis of these papers is on automated program development, analysis techniques, and Logic Programming extensions.

• 
  Andreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, Franz Schmalhofer: An Environment for Exploring and Validating Declarative Knowledge.
• 
  Aurelie Bechina, Marios Siormanolakis: Man Machine Service Embedded in Logic Programming.
• 
  Rayk Fenske, Ulrich Geske, Mario Lenz: Generating Types Is Better than Programming Them.
• 
  Norbert E. Fuchs, Rolf Schwitter: Attempto: Controlled Natural Language for Requirements Specifications.
• 
  Corin A. Gurr: Techniques-Based Programming Environment for Gödel.
• 
  Baudouin Le Charlier, Sabina Rossi: Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions.
• 
  José Paulo Leal: Data Oriented LP with Magritte.
• 
  Michael R. Levy: Proposal for a Foreign Language Interface to Prolog. 0-
• 
  Spiro Michaylov, Iván Ordóñez: Time and Money: A Case Study in Systematic Development of Constraint Logic Programs.
• 
  Stéphane Schoenig, Mireille Ducassé: Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog.
• 
  Wamberto Weber Vasconcelos, Norbert E. Fuchs: Prolog Program Development via Enhanced Schema-based Transformations.
• 
  Pierre Deransart, Henryk Jan Komorowski: Task Force on Logic Program Development (Compulog Project). ...