Programming Languages: Implementations, Logics and Programs

1. Gadgets: Lazy functional components for graphical user interfaces

   • Rob Noble, Colin Runciman

   Pages 321-340

2. Lightweight GUIs for functional programming

   • Ton Vullinghs, Daniel Tuijnman, Wolfram Schulte

   Pages 341-356

3. Local linear logic for locality consciousness in multiset transformation

   • Hugh McEvoy, Pieter H. Hartel

   Pages 357-379

4. The notion of floundering for SLDNF-resolution revisited

   • Jean-Hugues Réty

   Pages 380-396

5. Minimal set unification

   • Puri Arenas-Sánchez, Agostino Dovier

   Pages 397-414

6. Goal-directed query processing in disjunctive logic databases

   • Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh

   Pages 415-430

7. A dataflow semantics for constraint logic programs

   • Livio Colussi, Elena Marchiori, Massimo Marchiori

   Pages 431-448

8. A functional framework for deterministically interleaved interactive programs

   • Peter Achten

   Pages 450-452

9. A debugging model for lazy narrowing

   • Puri Arenas-Sánchez, Ana Gil-Luezas

   Pages 453-454

10. Evaluation of expressions in a multiparadigm framework

    • Xavier Burgués, Xavier Franch

    Pages 455-456

11. An expression-or-parallel implementation for a functional logic language

    • W. Hans, F. Sáenz, St. Winkler

    Pages 457-458

12. Attributed models of executable specifications

    • Merik Meriste, Jaan Penjam

    Pages 459-460

13. Approximating constraint logic programs using polymorphic types and regular descriptions

    • Hüseyin Sağlam, John P. Gallagher

    Pages 461-462

14. Performance of a data-parallel concurrent constraint programming system

    • Bo-Ming Tong, Ho-Fung Leung

    Pages 463-464

15. A portable implementation of memoing evaluation

    • Jens E. Wunderwald

    Pages 465-466

16. Back Matter

    PDF

This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.
The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.

• Abstrakte Interpretation
• Constraint
• Debugging
• Declarative Programming
• Deklaratives Programmieren
• Funktionales Programmieren
• Resolution
• constraint programming
• data structure
• database
• functional Programming
• logic
• partial evaluation
• programming
• semantics

Policies and ethics