ISBN: 3-540-65527-1
TITLE: Practical Aspects of Declarative Languages
AUTHOR: Gupta, Gopal (Ed.)
TOC:

Software Engineering
Automated Benchmarking of Functional Data Structures 1
G.E. Moss and C. Runciman
NP-SPEC: An Executable Specification Language for Solving All Problems in NP 16
M. Cadoli, L. Palopoli, A. Schaerf, and D. Vasile
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program 31
P. Letelier, P. Snchez, and I. Ramos
Multi-agent Systems Development as a Software Engineering Enterprise.46
M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, and F. Zini
Innovative Applications I
From Functional Animation to Sprite-Based Display 61
C. Elliott
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators 76
W. Kahl
Lambda in Motion: Controlling Robots with Haskell 91
J. Peterson, P. Hudak, and C. Elliott
Implementation
CHAT: The Copy-Hybrid Approach to Tabling 106
B. Demoen and K. Sagonas
The Influence of Parallel Computer Architectural Parameters on the Performance of Parallel Logic Programming Systems 122
M.G. Silva, I.C. Dutra, R. Bianchini, and V. Santos Costa
Or-Parallelism within Tabling 137
R. Rocha, F. Silva, and V. Santos Costa
Declarative Query Processing
Mnesia  A Distributed Robust DBMS for Telecommunications Applications.152
H. Mattsson, H. Nilsson, and C. Wikstrm
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language .164
B. Siddabathuni, S.W. Dietrich, and S.D. Urban
Implementing a Declarative String Query Language with String Restructuring 179
R. Hakli, M. Nyknen, H. Tamm, and E. Ukkonen
Systems Applications
Client-Side Web Scripting with HaskellScript 196
E. Meijer, D. Leijen, and J. Hook
MCORBA: A CORBA Binding for Mercury 211
D. Jeffery, T. Dowd, and Z. Somogyi
Analysis
Dead Code Elimination through Dependent Types 228
H. Xi
Multiple Specialization of WAM Code 243
M. Ferriera and L. Damas
A Flexible Framework for Dynamic and Static Slicing of Logic Programs 259
W.W. Vasconcelos
Innovative Applications II
Applying Logic Programming to Derive Novel Functional Information of Genomes 275
A.K. Bansal and P. Bork
An Application of Action Theory to the Space Shuttle 290
R. Watson
Developing a Declarative Rule Language for Applications in Product Configuration.305
T. Soininen and I. Niemel
Constraint Programming
University Timetabling Using Constraint Logic Programming 320
H-J. Goltz and D. Matzke
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing 335
M. Carlsson, P. Kreuger, and E. strm
Using Constraints in Local Proofs for CLP Debugging 350
C. La
Declarative Languages and Software Engineering (Invited)
A Return to Elegance: The Reapplication of Declarative Notation to Software Design 360
D.A. Schmidt
ECLiPSe : Declarative Specification and Scaleable Implementation 365
M. Wallace and J. Schimpf
Author Index 367
END
