This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.
The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.
Author(s): Sergio Antoy (auth.), Hugh Glaser, Pieter Hartel, Herbert Kuchen (eds.)
Series: Lecture Notes in Computer Science 1292
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 428
Tags: Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics)
Narrowing the narrowing space....Pages 1-15
An object calculus with algebraic rewriting....Pages 17-31
Inheritance and selective method dispatching in concurrent Haskell....Pages 33-46
Overriding operators in a mixin-based framework....Pages 47-61
Resolution for logic programming with universal quantifiers....Pages 63-77
A declarative approach to concurrent programming....Pages 79-93
Transformation of divide & conquer to nested parallel loops....Pages 95-109
Transforming lazy functions using comportment properties....Pages 111-125
Transformations for efficient evaluations in functional programming....Pages 127-141
Inline expansion: When and how ?....Pages 143-157
Higher-order value flow graphs....Pages 159-173
Intuitionistic implication in abstract interpretation....Pages 175-189
An open-ended finite domain constraint solver....Pages 191-206
Semantics and compilation of recursive sequential streams in 8 1/2 ....Pages 207-223
Implementation of term rewritings with the evaluation strategy....Pages 225-239
Reflections on reflections....Pages 241-258
Evaluation under lambda abstraction....Pages 259-273
Selective recomputation for handling side-effects in parallel logic programs....Pages 275-289
Tracing lazy functional computations using redex trails....Pages 291-308
Functional programming and geometry....Pages 309-322
Where do I begin? A problem solving approach in teaching functional programming....Pages 323-334
Teaching functional and logic programming with a single computation model....Pages 335-350
Logic implemented functionally....Pages 351-368
DrScheme: A pedagogic programming environment for scheme....Pages 369-388
An editor for helping novices to learn standard ML....Pages 389-405
Introducing the declarative dungeon....Pages 407-417
A pragmatic approach to compilation of Erlang....Pages 419-420
Formal translations described by translation grammars with LR ( k ) input grammars....Pages 421-422
Automatic run-time code generation in object-oriented languages....Pages 423-424
