ISBN: 3-540-66677-X
TITLE: Functional and Logic Programming
AUTHOR: Middeldorp, Aart; Sato, Taisuke (Eds.)
TOC:

Semantics and Types in Functional Logic Programming 1
J. C. Gonzlez-Moreno, M. T. Hortal-Gonzlez and M. Rodrguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) 21
Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations 37
Carlos Camarao and Luclia Figueiredo
Partial Evaluation and Non-interference for Object Calculi 53
Gilles Barthe and Bernard P. Serpette
Lazy Lexing is Fast 68
Manuel M. T. Chakravarty
A Functional-Logic Perspective of Parsing 85
Rafael Caballero and Francisco J. Lpez-Fraguas
Implementing Encapsulated Search for a Lazy Functional Logic Language 100
Wolfgang Lux
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers 114
Armin Khnemann
Automatic Verification Based on Abstract Interpretation 131
Mizuhito Ogawa
A Transformation System for Lazy Functional Logic Programs 147
Mara Alpuente, Moreno Falaschi, Gins Moreno and Germn Vidal
Termination Analysis of Tabled Logic Programs Using Mode and Type Information 163
Sofie Verbaeten and Danny De Schreye
On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems 179
Enno Ohlebusch
An Interval Lattice-Based Constraint Solving Framework for Lattices 194
Antonio J. Fernndez and Patricia M. Hill
Higher Order Matching for Program Transformation 209
Oege de Moor and Ganesh Sittampalam
Automated Generalisation of Function Definitions 225
Adam Bakewell and Colin Runciman
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping 241
Olivier Danvy
Using Types as Approximations for Type Checking Prolog Programs 251
Christoph Beierle and Gregor Meyer
Typed Static Analysis: Application to Groundness Analysis of Prolog and Lambda Prolog 267
Olivier Ridoux, Patrice Boizumault and Frdric Malsieux
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs 284
Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan and Prasad Rao
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code 300
Atsushi Ohori
On Reducing the Search Space of Higher-Order Lazy Narrowing 319
Mircea Marin, Tetsuo Ida and Taro Suzuki
Typed Higher-Order Narrowing without Higher-Order Strategies 335
Sergio Antoy and Andrew Tolmach
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages 353
Michael Hanus and Salvador Lucas
Author Index 369
END
