Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings

Front Cover
Hugh Glaser, Peter Hartel, Herbert Kuchen
Springer Science & Business Media, Aug 13, 1997 - Computers - 428 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Narrowing the Narrowing Space
1
An Object Calculus with Algebraic Rewriting
17
Inheritance and Selective Method Dispatching in Concurrent Haskell
33
Overriding Operators in a MixinBased Framework
47
Resolution for Logic Programming with Universal Quantifiers
63
A Declarative Approach to Concurrent Programming
79
Conquer to Nested Parallel Loops
95
Transforming Lazy Functions Using Comportment Properties
111
An OpenEnded Finite Domain Constraint Solver
191
Semantics and Compilation of Recursive Sequential Streams in 8 12
207
Implementation of Term Rewritings with the Evaluation Strategy
225
Reflections on Reflections
241
Evaluation Under Lambda Abstraction
259
Selective Recomputation for Handling SideEffects in Parallel Logic Programs
275
Tracing Lazy Functional Computations Using Redex Trails
291
Functional Programming and Geometry
309

Transformations for Efficient Evaluations in Functional Programming
127
when and how?
143
HigherOrder Value Flow Graphs
159
Intuitionistic Implication in Abstract Interpretation
175
Where Do I Begin? A Problem Solving Approach in Teaching Functional Programming
323
Teaching Functional and Logic Programming with a Single Computation Model
335
Logic Implemented Functionally
351
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information