© 1998

Practical Aspects of Declarative Languages

First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings

  • Gopal Gupta
Conference proceedings PADL 1999

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1551)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Software Engineering

    1. Graeme E. Moss, Colin Runciman
      Pages 1-15
    2. Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile
      Pages 16-30
    3. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
      Pages 46-60
  3. Innovative Applications I

  4. Implementation

    1. Bart Demoen, Konstantinos Sagonas
      Pages 106-121
    2. Marcio G. Silva, Inês C. Dutra, Ricardo Bianchini, Vítor Santos Costa
      Pages 122-136
    3. Ricardo Rocha, Fernando Silva, Vítor Santos Costa
      Pages 137-151
  5. Declarative Query Processing

    1. Håkan Mattsson, Hans Nilsson, Claes Wikström
      Pages 152-163
    2. Babu Siddabathuni, Suzanne W. Dietrich, Susan D. Urban
      Pages 164-178
    3. Raul Hakli, Matti Nykänen, Hellis Tamm, Esko Ukkonen
      Pages 179-195
  6. Systems Applications

    1. Erik Meijer, Daan Leijen, James Hook
      Pages 196-210
    2. David Jeffery, Tyson Dowd, Zoltan Somogyi
      Pages 211-227
  7. Analysis

    1. Michel Ferreira, Luís Damas
      Pages 243-258
  8. Innovative Applications II

About these proceedings


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

Editors and affiliations

  • Gopal Gupta
    • 1
  1. 1.Department of Computer ScienceNew Mexico State UniversityLas CrucesUSA

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Oil, Gas & Geosciences