Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
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...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
982 |
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Programming languages, implementations, logics and programs, 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995, proceedings, Manuel Hermenegildo, S. Doaitse Swierstra (eds.), Berlin, Springer, 1995, 1 vol. (XI-466 p.), Lecture notes in computer science, 3-540-60359-X • Programming Languages: Implementations, Logics and Programs, Texte imprimé, 9783662174289 |
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 polymorphictypes and regular descriptions
- Performance of a data-parallel concurrent constraint programming system
- A portable implementation of memoing evaluation.