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.
Author(s): Oege de Moor (auth.), Manuel Hermenegildo, S. Doaitse Swierstra (eds.)
Series: Lecture Notes in Computer Science 982
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1995
Language: English
Pages: 476
Tags: Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Artificial Intelligence (incl. Robotics)
A generic program for sequential decision processes....Pages 1-23
Parsing visual languages with constraint multiset grammars....Pages 24-25
Programming with constructor classes....Pages 26-26
Towards a taxonomy of functional language implementations....Pages 27-44
A λ-calculus à la de Bruijn with explicit substitutions....Pages 45-62
A verified implementation of narrowing....Pages 63-80
A new calculus for semantic matching....Pages 81-96
A complete narrowing calculus for higher-order functional logic programming....Pages 97-114
Exploiting parallelism in tabled evaluations....Pages 115-132
Design and implementation of jump tables for fast indexing of logic programs....Pages 133-150
An abstract machine for Oz....Pages 151-168
Uniform PERs and comportment analysis....Pages 169-187
Uniqueness type inference....Pages 189-206
Modes of comprehension: Mode analysis of arrays and array comprehensions....Pages 207-222
Better consumers for deforestation....Pages 223-240
Efficient compile-time garbage collection for arbitrary data structures....Pages 241-258
Efficient multi-level generating extensions for program specialization....Pages 259-278
Mechanically verifying the correctness of an offline partial evaluator....Pages 279-298
A semantic model of binding times for safe partial evaluation....Pages 299-320
Gadgets: Lazy functional components for graphical user interfaces....Pages 321-340
Lightweight GUIs for functional programming....Pages 341-356
Local linear logic for locality consciousness in multiset transformation....Pages 357-379
The notion of floundering for SLDNF-resolution revisited....Pages 380-396
Minimal set unification....Pages 397-414
Goal-directed query processing in disjunctive logic databases....Pages 415-430
A dataflow semantics for constraint logic programs....Pages 431-448
A functional framework for deterministically interleaved interactive programs....Pages 450-452
A debugging model for lazy narrowing....Pages 453-454
Evaluation of expressions in a multiparadigm framework....Pages 455-456
An expression-or-parallel implementation for a functional logic language....Pages 457-458
Attributed models of executable specifications....Pages 459-460
Approximating constraint logic programs using polymorphic types and regular descriptions....Pages 461-462
Performance of a data-parallel concurrent constraint programming system....Pages 463-464
A portable implementation of memoing evaluation....Pages 465-466
