Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings /
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Actes de congresos Llibre |
| Idioma: | English |
| Publicat: |
Berlin ; New York :
Springer,
c1995.
|
| Col·lecció: | Lecture notes in computer science ;
982. |
| Matèries: |
Taula de continguts:
- Towards a Taxonomy of Functional Language Implementations / Remi Douence and Pascal Fradet
- A [lambda]-Calculus a la De Bruijn with Explicit Substitutions / Fairouz Kamareddine and Alejandro Rios
- A Verified Implementation of Narrowing / Heinz Fassbender
- A New Calculus for Semantic Matching / Bernd Butow, Robert Giegerich, Enno Ohlebusch and Stephan Thesing
- A Complete Narrowing Calculus for Higher-Order Functional Logic Programming / Koichi Nakahara, Aart Middeldorp and Tetsuo Ida
- Exploiting Parallelism in Tabled Evaluations / Juliana Freire, Rui Hu, Terrance Swift and David S. Warren
- Design and Implementation of Jump Tables for Fast Indexing of Logic Programs / Steven Dawson, C. R. Ramakrishnan and I. V. Ramakrishnan
- An Abstract Machine for Oz / Michael Mehl, Ralf Scheidhauer and Christian Schulte
- Uniform PERs and Comportment Analysis / Alan Mycroft and Kirsten Lackner Solberg
- Uniqueness Type Inference / Erik Barendsen and Sjaak Smetsers.
- Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions / B. C. Massey and E. Tick
- Better Consumers for Deforestation / Wei-Ngan Chin and Siau-Cheng Khoo
- Efficient Compile-Time Garbage Collection for Arbitrary Data Structures / Markus Mohnen
- Efficient Multi-level Generating Extensions / Robert Gluck and Jesper Jorgensen
- Mechanically Verifying the Correctness of an Offline Partial Evaluator / John Hatcliff
- A Semantic Model of Binding Times for Safe Partial Evaluation / Fritz Henglein and David Sands
- Gadgets: Lazy Functional Components for Graphical User Interfaces / Rob Noble and Colin Runciman
- Lightweight GUIs for Functional Programming / Ton Vullinghs, Daniel Tuijnman and Wolfram Schulte.