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 BibTeX

@proceedings{DBLP:conf/plilp/95,
  editor    = {Manuel V. Hermenegildo and
               S. Doaitse Swierstra},
  title     = {Programming Languages: Implementations, Logics and Programs,
               7th International Symposium, PLILP'95, Utrecht, The Netherlands,
               September 20-22, 1995, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {982},
  year      = {1995},
  isbn      = {3-540-60359-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

Oege de Moor: A Generic Program for Sequential Decision Processes. 1-23 BibTeX
Kim Marriott: Parsing Visual Languages with Constraint Multiset Grammars. 24-25 BibTeX
Mark P. Jones: Programming with Constructor Classes (Abstract). 26 BibTeX

Functional Programming

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

Narrowing

Heinz Faßbender: A Verified Implementation of Narrowing. 63-80 BibTeX
Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing: A New Strategy for Semantic Matching. 81-96 BibTeX
Koichi Nakahara, Aart Middeldorp, Tetsuo Ida: A Complete Narrowing Calculus for Higher-Order Functional Logic Programming. 97-114 BibTeX

Implementation

Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren: Exploiting Parallelism in Tabled Evaluations. 115-132 BibTeX
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan: Design and Implementation of Jump Tables for Fast Indexing of Logic Programs. 133-150 BibTeX
Michael Mehl, Ralf Scheidhauer, Christian Schulte: An Abstract Machine for Oz. 151-168 BibTeX

Abstract Interpretation and Typing

Alan Mycroft, Kirsten Lackner Solberg: Uniform PERs and Comportment Analysis. 169-187 BibTeX
Erik Barendsen, Sjaak Smetsers: Uniqueness Type Inference. 189-206 BibTeX
Barton C. Massey, Evan Tick: Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions. 207-222 BibTeX

Transformation

Wei-Ngan Chin, Siau-Cheng Khoo: Better Consumers for Deforestation (Extended Abstract). 223-240 BibTeX
Markus Mohnen: Efficient Compile-Time Garbage Collection for Arbitrary Data Structures. 241-258 BibTeX

Partial evaluation

Robert Glück, Jesper Jørgensen: Efficient Multi-level Generating Extensions for Program Specialization. 259-278 BibTeX
John Hatcliff: Mechanically Verifying the Correctness of an Offline Partial Evaluator. 279-298 BibTeX
Fritz Henglein, David Sands: A Semantic Model of Binding Times for Safe Partial Evaluation. 299-320 BibTeX

Graphical User Interfaces

Rob Noble, Colin Runciman: Gadgets: Lazy Functional Components for Graphical User Interfaces. 321-340 BibTeX
Ton Vullinghs, Daniel Tuinman, Wolfram Schulte: Lightweight GUIs for Functional Programming. 341-356 BibTeX

Logic Programming Theory

Hugh McEvoy, Pieter H. Hartel: Local Linear Logic for Locality Consciousness in Multiset Transformation. 357-379 BibTeX
Jean-Hugues Réty: The Notion of Floundering for SLDNF-Resolution Revisited. 380-396 BibTeX
Puri Arenas-Sánchez, Agostino Dovier: Minimal Set Unification. 397-414 BibTeX
Yuka Shimajiri, Hiroshi Seki, Hidenori Itoh: Goal-Directed Query Processing in Disjunctive Logic Databases. 415-430 BibTeX
Livio Colussi, Elena Marchiori, Massimo Marchiori: A Dataflow Semantics for Constraint Logic Programs. 431-448 BibTeX

Posters and Demonstrations

Peter Achten: A Functional Framework for Deterministically Interleaved Interactive Programs. 451-452 BibTeX
Puri Arenas-Sánchez, Ana Gil-Luezas: A Debugging Model for Lazy Narrowing. 453-454 BibTeX
Xavier Burgués Illa, Xavier Franch: Evaluation of Expressions in a Multiparadigm Framework. 455-456 BibTeX
Werner Hans, Fernando Sáenz, Stephan Winkler: An Expression-Or-Parallel Implementation for a Functional Logic Language. 457-458 BibTeX
Merik Meriste, Jaan Penjam: Attributed Models of Executable Specifications. 459-460 BibTeX
Hüseyin Saglam, John P. Gallagher: Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions. 461-462 BibTeX
Bo-Ming Tong, Ho-Fung Leung: Performance of A Data-Parallel Concurrent Constraint Programming System. 463-464 BibTeX
Jens E. Wunderwald: A Portable Implementation of Memoing Evaluation. 465-466 BibTeX