ISBN: 3-540-66540-4
TITLE: Principles and Practice of Declarative Programming
AUTHOR: Nadathur, Gopalan (Ed.)
TOC:

Implementation Tools
C--: A Portable Assembly Language that Supports Garbage Collection (Invited Talk) 1
Simon Peyton Jones, Norman Ramsey and Fermin Reig
Rewriting Systems and Termination On Formalised Proofs of Termination of Recursive Functions 31
Fairouz Kamareddine and Franois Monin
Argument Filtering Transformation 48
Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama
Module and Type Systems
A Primitive Calculus for Module Systems 63
Davide Ancona and Elena Zucca
Non-dependent Types for Standard ML Modules 80
Claudio V. Russo
Constraint Programming
Constraint Programming in OPL (Invited Talk) 97
P. Van Hentenryck, L. Michel, L. Perron and J.-C. Rgin
Compiling Constraint Handling Rules into Prolog with Attributed Variables 117
Christian Holzbaur and Thom Frhwirth
Parallel Execution Models for Constraint Programming over Finite Domains 134
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Senz and Jos Ruz
Programming and Implementation Formalisms
Functional plus Logic Programming with Built-in and Symbolic Constraints 151
P. Arenas-Snchez, F.J. Lopez-Fraguas and M. Rodrguez-Artalejo
A Calculus for Interaction Nets 168
Maribel Fernndez and Ian Mackie
Distributed Programming in a Multi-Paradigm Declarative Language 185
Michael Hanus
Logical Frameworks
Logical and Meta-Logical Frameworks (Tutorial Abstract) 202
Frank Pfenning
Implementation
A Simple and General Method for Integrating Abstract Interpretation in SICStus 203
Dante Baldan, Nicola Civran, Gilberto Fil and Francesco Pulvirenti
Run Time Type Information in Mercury 220
Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway and David Jeffery
A Virtual Machine for a Process Calculus 238
Lus Lopes, Fernando Silva and Vasco T. Vasconcelos
Optimising Bytecode Emulation for Prolog 255
Vtor Santos Costa
Logic Programming Extensions
OPENLOG: A Logic Programming Language Based on Abduction 272
Jacinto A. Dvila
An Operational Semantics of Starlog 288
Lunjin Lu and John G. Cleary
Termination in Logic Programming
On the Verification of Finite Failure 305
Roberta Gori and Giorgio Levi
Localizing and Explaining Reasons for Non-Terminating Logic Programs with Failure-Slices 322
Ulrich Neumerkel and Fred Mesnard
Modular Termination Proofs for Prolog with Tabling 336
Sofie Verbaeten, Konstantinos Sagonas and Danny De Schreye
Program Analysis and Transformation
Declarative Program Transformation: A Deforestation Case-Study 353
Loc Correnson, Etienne Duris, Didier Parigot and Gilles Roussel
A Semantic Account of Type-Directed Partial Evaluation 370
Andrzej Filinski
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs 387
Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan and I.V. Ramakrishnan
Widening Sharing 404
Enea Zaffanella, Roberto Bagnara and Patricia M. Hill
Author Index 423
END
