Practical Aspects of Declarative Languages

4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings

  • Shriram Krishnamurthi
  • C. R. Ramakrishnan
Conference proceedings PADL 2002

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Invited Talks

    1. Robert S. Boyer, J. Strother Moore
      Pages 9-27
  3. Regular Papers

    1. Bharat Jayaraman, Pallavi Tambay
      Pages 28-46
    2. Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan et al.
      Pages 82-100
    3. Erik Johansson, Konstantinos Sagonas
      Pages 101-119
    4. Morten Rhiger
      Pages 120-136
    5. Ralf Lämmel, Joost Visser
      Pages 137-154
    6. Zhanyong Wan, Walid Taha, Paul Hudak
      Pages 155-172
    7. Martin Erwig, Margaret Burnett
      Pages 173-191
    8. Jerzy Karczmarczuk
      Pages 225-242
    9. Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer
      Pages 262-279
    10. Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen
      Pages 299-317
    11. Luís F. Castro, Terrance Swift, David S. Warren
      Pages 332-349
  4. Back Matter
    Pages 351-351

About these proceedings


Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002.


Prolog Text XML compiler logic modeling programming

Editors and affiliations

  • Shriram Krishnamurthi
    • 1
  • C. R. Ramakrishnan
    • 2
  1. 1.Computer Science DepartmentBrown UniversityProvidenceUSA
  2. 2.Department of Computer ScienceSUNY at Stony BrookStony BrookUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43092-6
  • Online ISBN 978-3-540-45587-5
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Oil, Gas & Geosciences