7. PLILP 1995: Utrecht, The Netherlands

Manuel V. Hermenegildo, S. Doaitse Swierstra (Eds.): 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

Rémi Douence, Pascal Fradet:
Towards a Taxonomy of Functional Languages Implementations. 27-44
Fairouz Kamareddine, Alejandro Ríos:
A Lambda-Calculus `a la de Bruijn with Explicit Substitutions. 45-62

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

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

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

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

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

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

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

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, 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

Last update Tue May 21 17:51:52 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page