default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. PLILP 1997: Southampton, UK
- Hugh Glaser, Pieter H. Hartel, Herbert Kuchen:
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 Francis 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
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-19 20:51 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:
