Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings /
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Konferenssijulkaisu Kirja |
| Kieli: | English |
| Julkaistu: |
Berlin ; New York :
Springer,
c1995.
|
| Sarja: | Lecture notes in computer science ;
982. |
| Aiheet: |
Sisällysluettelo:
- 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.