Advertisement

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

  9. Constraint Programming

    1. Hans-Joachim Goltz, Dirk Matzke
      Pages 320-334
    2. Mats Carlsson, Per Kreuger, Emil Åtröm
      Pages 335-349
  10. Declarative Languages and Software Engineering (Invited)

  11. Back Matter
    Pages 367-367

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/3-540-49201-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65527-5
  • Online ISBN 978-3-540-49201-6
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering