Practical Aspects of Declarative Languages

1. Front Matter

   Pages I-VIII

   PDF

2. Software Engineering

   1. Automated Benchmarking of Functional Data Structures

      • Graeme E. Moss, Colin Runciman

      Pages 1-15

   2. np-spec: An Executable Specification Language for Solving All Problems in NP

      • Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile

      Pages 16-30

   3. Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program

      • Patricio Letelier, Pedro Sánchez, Isidro Ramos

      Pages 31-45

   4. Multi-agent Systems Development as a Software Engineering Enterprise

      • Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini

      Pages 46-60

3. Innovative Applications I

   1. From Functional Animation to Sprite-Based Display

      • Conal Elliott

      Pages 61-75

   2. Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators

      • Wolfram Kahl

      Pages 76-90

   3. Lambda in Motion: Controlling Robots with Haskell

      • John Peterson, Paul Hudak, Conal Elliott

      Pages 91-105

4. Implementation

   1. CHAT: The Copy-Hybrid Approach to Tabling

      • Bart Demoen, Konstantinos Sagonas

      Pages 106-121

   2. The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems

      • Marcio G. Silva, Inês C. Dutra, Ricardo Bianchini, Vítor Santos Costa

      Pages 122-136

   3. Or-Parallelism within Tabling

      • Ricardo Rocha, Fernando Silva, Vítor Santos Costa

      Pages 137-151

5. Declarative Query Processing

   1. Mnesia — A Distributed Robust DBMS for Telecommunications Applications

      • Håkan Mattsson, Hans Nilsson, Claes Wikström

      Pages 152-163

   2. An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language

      • Babu Siddabathuni, Suzanne W. Dietrich, Susan D. Urban

      Pages 164-178

   3. Implementing a Declarative String Query Language with String Restructuring

      • Raul Hakli, Matti Nykänen, Hellis Tamm, Esko Ukkonen

      Pages 179-195

6. Systems Applications

   1. Client-Side Web Scripting with HaskellScript

      • Erik Meijer, Daan Leijen, James Hook

      Pages 196-210

   2. MCORBA: A CORBA Binding for Mercury

      • David Jeffery, Tyson Dowd, Zoltan Somogyi

      Pages 211-227

7. Analysis

   1. Dead Code Elimination through Dependent Types

      • Hongwei Xi

      Pages 228-242

   2. Multiple Specialization of WAM Code

      • Michel Ferreira, Luís Damas

      Pages 243-258

   3. A Flexible Framework for Dynamic and Static Slicing of Logic Programs

      • Wamberto Weber Vasconcelos

      Pages 259-274

8. Innovative Applications II

   1. Applying Logic Programming to Derive Novel Functional Information of Genomes

      • Arvind K. Bansal, Peer Bork

      Pages 275-289

Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of the First International Workshop on Practical Aspects of Declarative Languages (PADL) is to bring together researchers,practitioners and implementors of declarative languages to discuss practical issues and practical implications of their research results. The workshop was held in San Antonio, Texas, during January 18-19, 1999. This volume contains its proceedings. Fifty three papers were submitted in response to the call for papers. These papers were written by authors belonging to twenty one countries from six c- tinents. Each paper was assigned to at least two referees for reviewing. Twenty four papers were nally selected for presentation at the workshop. Many good papers could not be included due to the limited duration of the workshop. The workshop included invited talks by Mark Hayden of DEC/Compaq Systems - search Center, speaking on \Experiences Building Distributed Systems in ML," and Mark Wallace of Imperial College Center for Planning And Resource C- trol (IC-PARC), speaking on \ECLiPSe: Declarative Specic ation and Scalable Implementation.

• Constraint
• Declarative Programming Languages
• Logic Programming
• Processing
• Programming Languages Implementation
• Software Engineering
• constraint programming
• programming

• Department of Computer Science, New Mexico State University, Las Cruces, USA

  Gopal Gupta

Policies and ethics