ISBN: 3540650121
TITLE: Principles of Declarative Programming
AUTHOR: Palamidessi, Catuscia; Glaser, Hugh; Meinke, Karl (Eds.)
TOC:

Verification: Invited Paper
Logic Programming and Model Checking 1
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka and David S. Warren
Logic Programming I
CAT: The Copying Approach to Tabling 21
Bart Demoen and Konstantinos Sagonas
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog 36
Jesper Eskilson and Mats Carlsson
A Framework for Bottom Up Specialisation of Logic Programs 54
Wim Vanhoof, Danny De Schreye and Bern Martens
Termination of Logic Programs with block Declarations Running in Several Modes 73
JanGeorg Smaus, Pat Hill and Andy King
Static Analysis
The Boolean Logic of Set Sharing Analysis 89
Michael Codish and Harald Sndergaard
Derivation of Proof Methods by Abstract Interpretation 102
Giorgio Levi and Paolo Volpe
Detecting Unsolvable Queries for Definite Logic Programs 118
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal and Marc Denecker
Staging Static Analyses Using Abstraction-Based Program Specialization 134
John Hatcliff, Matthew Dwyer and Shawn Laubach
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs 152
Giorgio Levi and Fausto Spoto
Software Methodologies: Invited Paper
Architecturing Software Using: A Methodology for Language Development 170
Charles Consel and Renaud Marlet
Object Oriented Programming
Explicit Substitutions for Objects and Functions 195
Delia Kesner and Pablo E. Martnez Lpez
The Complexity of Late-Binding in Dynamic Object-Oriented Languages 213
Enrico Pontelli, Desh Ranjan and Gopal Gupta
Term Rewriting
A Compiler for Rewrite Programs in Associative-Commutative Theories 230
Pierre-Etienne Moreau and Hlne Kirchner
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems 250
Takahito Aoto
A General Framework for R-Unification Problems 266
Sbastien Limet and Frdric Saubion
Semantics: Tutorial
Operational Versus Denotational Methods in the Semantics of Higher Order Languages 282
Andrew M. Pitts
Functional Programming
Functional Implementations of Continuous Modeled Animation 284
Conal Elliott
Compiling Erlang to Scheme 300
Marc Feeley and Martin Larose
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View 318
Silvia Breitinger, Ulrike Klusik and Rita Loogen
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine 335
David Wakeling
Metaprogramming: Tutorial
Program Analysis in Prolog 353
John Hannan
Logic Programming II
A Game Semantics Foundation for Logic Programming 355
Roberto Di Cosmo, Jean-Vincent Loddo and Stephane Nicolet
Controlling Search in Declarative Programs 374
Michael Hanus and Frank Steiner
Encapsulating Data in Logic Programming via Categorical Constraints 391
James Lipton and Robert McGrail
Constructive Negation Using Typed Existence Properties 411
John G. Cleary and Lunjin Lu
Optimal Evaluation: Tutorial
Optimal Reduction of Functional Expressions 427
Andrea Asperti
Integration
Embedding Multiset Constraints into a Lazy Functional Logic Language 429
P. Arenas-Snchez, F.J. Lpez-Fraguas, M. Rodrguez-Artalejo
A Hidden Herbrand Theorem 445
Joseph Goguen, Grant Malcolm and Tom Kemp
Constraint Solving
Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems 463
Farid Ajili and Hendrik C.R. Lock
Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method 481
Philippe Refalo
Author Index 497
END
