Programming Languages: Implementations, Logics and Programs 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings

Programming Languages: Implementations, Logics and Programs 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / edited by Manuel Hermenegildo, S.Doaitse Swierstra.

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 resear...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Hermenegildo, Manuel (Editor), Swierstra, S.Doaitse (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995.
Edition:1st ed. 1995.
Series:Lecture Notes in Computer Science, 982
Springer eBook Collection.
Subjects:
Programming languages (Electronic computers).
Computer programming.
Computer logic.
Mathematical logic.
Computer science—Mathematics.
Artificial intelligence.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • A generic program for sequential decision processes
  • Parsing visual languages with constraint multiset grammars
  • Programming with constructor classes
  • Towards a taxonomy of functional language implementations
  • A ?-calculus à la de Bruijn with explicit substitutions
  • A verified implementation of narrowing
  • A new calculus for semantic matching
  • A complete narrowing calculus for higher-order functional logic programming
  • Exploiting parallelism in tabled evaluations
  • Design and implementation of jump tables for fast indexing of logic programs
  • An abstract machine for Oz
  • Uniform PERs and comportment analysis
  • Uniqueness type inference
  • Modes of comprehension: Mode analysis of arrays and array comprehensions
  • Better consumers for deforestation
  • Efficient compile-time garbage collection for arbitrary data structures
  • Efficient multi-level generating extensions for program specialization
  • Mechanically verifying the correctness of an offline partial evaluator
  • A semantic model of binding times for safe partial evaluation
  • Gadgets: Lazy functional components for graphical user interfaces
  • Lightweight GUIs for functional programming
  • Local linear logic for locality consciousness in multiset transformation
  • The notion of floundering for SLDNF-resolution revisited
  • Minimal set unification
  • Goal-directed query processing in disjunctive logic databases
  • A dataflow semantics for constraint logic programs
  • A functional framework for deterministically interleaved interactive programs
  • A debugging model for lazy narrowing
  • Evaluation of expressions in a multiparadigm framework
  • An expression-or-parallel implementation for a functional logic language
  • Attributed models of executable specifications
  • Approximating constraint logic programs using polymorphic types and regular descriptions
  • Performance of a data-parallel concurrent constraint programming system
  • A portable implementation of memoing evaluation.

Similar Items