Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Front Cover
Michael Hanus, Jan Heering, Karl Meinke
Springer Science & Business Media, Aug 20, 1997 - Computers - 297 pages
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.
The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.
 

What people are saying - Write a review

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

Contents

Functional and Logic Programming
1
Alpuente M Falaschi G Moreno and G Vidal
14
S Antoy
30
Parallelizing Functional Programs by Generalization
46
A Geser and S Gorlatch
60
Kirchner and C Ringeissen
75
A Computation Model for
99
On Composable Properties of Term Rewriting Systems
114
T Aoto and Y Toyama
128
S Lucas
143
Types
159
The Syntactic Approach
174
Proof Net Semantics of Proof Search Computation
194
Caires and L Monteiro
208
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 238 - In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, pages 398—407, La Jolla, San Diego, 26—29 July 1995.

Bibliographic information