1. PADL 1999: San Antonio, Texas, USA

Gopal Gupta (Ed.): Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings. Lecture Notes in Computer Science 1551 Springer 1998, ISBN 3-540-65527-1

Software Engineering

Graeme E. Moss, Colin Runciman:
Automated Benchmarking of Functional Data Structures. 1-15
Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile:
NP-SPEC: An Executable Specification Language for Solving All Problems in NP. 16-30
Patricio Letelier, Pedro Sánchez, Isidro Ramos:
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. 31-45
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Multi-agent Systems Development as a Software Engineering Enterprise. 46-60

Innovative Applications I

Conal Elliott:
From Functional Animation to Sprite-Based Display. 61-75
Wolfram Kahl:
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. 76-90
John Peterson, Paul Hudak, Conal Elliott:
Lambda in Motion: Controlling Robots with Haskell. 91-105

Implementation

Bart Demoen, Konstantinos F. Sagonas:
CHAT: The Copy-Hybrid Approach to Tabling. 106-121
Marcio G. Silva, Inês de Castro Dutra, Ricardo Bianchini, Vítor Santos Costa:
The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems. 122-136
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
Or-Parallelism within Tabling. 137-151

Declarative Query Processing

Håkan Mattsson, Hans Nilsson, Claes Wikstrom:
Mnesia - A Distributed Robust DBMS for Telecommunications Applications. 152-163
Babu Siddabathuni, Suzanne W. Dietrich, Susan Darling Urban:
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language. 164-178
Raul Hakli, Matti Nykänen, Hellis Tamm, Esko Ukkonen:
Implementing a Declarative String Query Language with String Restructuring. 179-195

Systems Applications

Erik Meijer, Daan Leijen, James Hook:
Client-Side Web Scripting with HaskellScript. 196-210
David Jeffery, Tyson Dowd, Zoltan Somogyi:
MCORBA: A CORBA Binding for Mercury. 211-227

Analysis

Hongwei Xi:
Dead Code Elimination through Dependent Types. 228-242
Michel Ferreira, Luís Damas:
Multiple Specialization of WAM Code. 243-258
Wamberto Weber Vasconcelos:
A Flexible Framework for Dynamic and Static Slicing of Logic Programs. 259-274

Innovative Applications II

Arvind K. Bansal, Peer Bork:
Applying Logic Programming to Derive Novel Functional Information of Genomes. 275-289
Richard Watson:
An Application of Action Theory to the Space Shuttle. 290-304
Timo Soininen, Ilkka Niemelä:
Developing a Declarative Rule Language for Applications in Product Configuration. 305-319

Constraint Programming

Hans-Joachim Goltz, Dirk Matzke:
University Timetabling Using Constraint Logic Programming. 320-334
Mats Carlsson, Per Kreuger, Emil Åström:
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. 335-349
Claude Laï:
Using Constraints in Local Proofs for CLP Debugging. 350-359

Declarative Languages and Software Engineering (Invited)

David A. Schmidt:
A Return to Elegance: The Reapplication of Declarative Notation to Software Design. 360-364
Mark Wallace, Joachim Schimpf:
ECLiPSe: Declarative Specification and Scaleable Implementation. 365-366

Last update Sun May 19 23:24:08 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page