default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7. PLILP 1995: Utrecht, The Netherlands
- Manuel V. Hermenegildo, S. Doaitse Swierstra:
Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings. Lecture Notes in Computer Science 982, Springer 1995, ISBN 3-540-60359-X
Invited Talks
- Oege de Moor:
A Generic Program for Sequential Decision Processes. 1-23 - Kim Marriott:
Parsing Visual Languages with Constraint Multiset Grammars. 24-25 - Mark P. Jones:
Programming with Constructor Classes (Abstract). 26
Functional Programming
- Rémi Douence, Pascal Fradet:
Towards a Taxonomy of Functional Languages Implementations. 27-44 - Fairouz Kamareddine, Alejandro Ríos:
A Lambda-Calculus à la de Bruijn with Explicit Substitutions. 45-62
Narrowing
- Heinz Faßbender:
A Verified Implementation of Narrowing. 63-80 - Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing:
A New Strategy for Semantic Matching. 81-96 - Koichi Nakahara, Aart Middeldorp
, Tetsuo Ida:
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming. 97-114
Implementation
- Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren:
Exploiting Parallelism in Tabled Evaluations. 115-132 - Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan:
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs. 133-150 - Michael Mehl, Ralf Scheidhauer, Christian Schulte:
An Abstract Machine for Oz. 151-168
Abstract Interpretation and Typing
- Alan Mycroft, Kirsten Lackner Solberg:
Uniform PERs and Comportment Analysis. 169-187 - Erik Barendsen, Sjaak Smetsers:
Uniqueness Type Inference. 189-206 - Barton C. Massey, Evan Tick:
Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions. 207-222
Transformation
- Wei-Ngan Chin, Siau-Cheng Khoo:
Better Consumers for Deforestation (Extended Abstract). 223-240 - Markus Mohnen:
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures. 241-258
Partial evaluation
- Robert Glück, Jesper Jørgensen:
Efficient Multi-level Generating Extensions for Program Specialization. 259-278 - John Hatcliff:
Mechanically Verifying the Correctness of an Offline Partial Evaluator. 279-298 - Fritz Henglein, David Sands:
A Semantic Model of Binding Times for Safe Partial Evaluation. 299-320
Graphical User Interfaces
- Rob Noble, Colin Runciman:
Gadgets: Lazy Functional Components for Graphical User Interfaces. 321-340 - Ton Vullinghs, Daniel Tuinman, Wolfram Schulte:
Lightweight GUIs for Functional Programming. 341-356
Logic Programming Theory
- Hugh McEvoy, Pieter H. Hartel:
Local Linear Logic for Locality Consciousness in Multiset Transformation. 357-379 - Jean-Hugues Réty:
The Notion of Floundering for SLDNF-Resolution Revisited. 380-396 - Puri Arenas-Sánchez, Agostino Dovier:
Minimal Set Unification. 397-414 - Yuka Shimajiri, Hiroshi Seki, Hidenori Itoh:
Goal-Directed Query Processing in Disjunctive Logic Databases. 415-430 - Livio Colussi, Elena Marchiori, Massimo Marchiori:
A Dataflow Semantics for Constraint Logic Programs. 431-448
Posters and Demonstrations
- Peter Achten:
A Functional Framework for Deterministically Interleaved Interactive Programs. 451-452 - Puri Arenas-Sánchez, Ana Gil-Luezas:
A Debugging Model for Lazy Narrowing. 453-454 - Xavier Burgués Illa, Xavier Franch:
Evaluation of Expressions in a Multiparadigm Framework. 455-456 - Werner Hans, Fernando Sáenz-Pérez, Stephan Winkler:
An Expression-Or-Parallel Implementation for a Functional Logic Language. 457-458 - Merik Meriste, Jaan Penjam:
Attributed Models of Executable Specifications. 459-460 - Hüseyin Saglam, John P. Gallagher:
Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions. 461-462 - Bo-Ming Tong, Ho-fung Leung:
Performance of A Data-Parallel Concurrent Constraint Programming System. 463-464 - Jens E. Wunderwald:
A Portable Implementation of Memoing Evaluation. 465-466
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
