9. PLILP 1997: Southampton, UK

Hugh Glaser, Pieter H. Hartel, Herbert Kuchen (Eds.): Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings. Lecture Notes in Computer Science 1292 Springer 1997, ISBN 3-540-63398-7

Paradigm Integration

Sergio Antoy, Zena M. Ariola:
Narrowing the Narrowing Space. 1-15
Adriana B. Compagnoni, Maribel Fernández:
On Object Calculus with Algebraic Rewriting. 17-31
José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz:
Inheritance and Selective Methods Dispatching in Concurrent Haskell. 33-46

Language Constructs

Davide Ancona, Elena Zucca:
Overriding Operators in a Mixin-Based Framework. 47-61
Antony F. Bowers, Patricia M. Hill, Francisco Ibañez:
Resolution for Logic Programming with Universal Quantifiers. 63-77
Steve Gregory:
A Declarative Approach to Concurrent Programming. 79-93

Transformation

Christoph A. Herrmann, Christian Lengauer:
Transformation of Divide & Conquer to Nested Parallel Loops. 95-109
Ross Paterson:
Transforming Lazy Functions Using Comportment Properties. 111-125
Salvador Lucas:
Transformations for Efficient Evaluations in Functional Programming. 127-141

Program Analysis

Manuel Serrano:
Inline Expansion: When and How? 143-157
Christian Mossin:
Higher-Order Value Flow Graphs. 159-173
Roberto Giacobazzi, Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation. 175-189

Compilation

Mats Carlsson, Greger Ottosson, Björn Carlson:
An Open-Ended Finite Domain Constraint Solver. 191-206
Jean-Louis Giavitto, Dominique De Vito, Olivier Michel:
Semantics and Compilation of Recursive Sequential Streams in 8½. 207-223
Kazuhiro Ogata, Kokichi Futatsugi:
Implementation of Term Rewritings with the Evaluation Strategy. 225-239
Gilles Barthe, John Hatcliff, Morten Heine Sørensen:
Reflections on Reflections. 241-258

Evaluation

Hongwei Xi:
Evaluation Under Lambda Abstraction. 259-273
Zhiyi Huang, Chengzheng Sun, Abdul Sattar:
Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. 275-289
Jan Sparud, Colin Runciman:
Tracing Lazy Functional Computations Using Redex Trails. 291-308

Education: Invited Paper

Guy Cousineau:
Functional Programming and Geometry. 309-322

Education: Methodologies

Simon J. Thompson:
Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. 323-334
Michael Hanus:
Teaching Functional and Logic Programming with a Single Computational Model. 335-350
Norbert Eisinger, Tim Geisler, Sven Panne:
Logic Implemented Functionally. 351-368

Education: Tools and Themes

Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen:
DrScheme: A Pedagogic Programming Environment for Scheme. 369-388
Jon Whittle, Alan Bundy, Helen Lowe:
An Editor for Helping Novices to Learn Standard ML. 389-405
David De Roure:
Introducing the Declarative Dungeon. 407-417

Poster Presentations

Erik Johansson, Christer Jonsson, Thomas Lindgren, Johan Bevemyr, Håkan Millroth:
A Pragmatic Approach to Compilation of Erlang. 419-420
Jan Janousek, Borivoj Melichar:
Formal Translations Described by Translation Grammars with LR(k) Input Grammars. 421-422
Nobuhisa Fujinami: Automatic Run-Time Code Generation in Object-Oriented Languages. 423-424 423