Practical Aspects of Declarative Languages

7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

  • Manuel V. Hermenegildo
  • Daniel Cabeza
Conference proceedings PADL 2005

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Papers

    1. Jerzy Karczmarczuk
      Pages 7-21
    2. Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frederic Prost
      Pages 22-36
    3. Daniel R. Brooks, Esra Erdem, James W. Minett, Donald Ringe
      Pages 37-51
    4. Vlad Tanasescu, Paweł T. Wojciechowski
      Pages 52-66
    5. Dengping Zhu, Hongwei Xi
      Pages 83-97
    6. Qian Wang, Gopal Gupta, Michael Leuschel
      Pages 98-112
    7. Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
      Pages 113-127
    8. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
      Pages 128-142
    9. Ricardo Lopes, Vítor Santos Costa
      Pages 143-157
    10. Jesús M. Almendros-Jiménez, Antonio Corral
      Pages 158-173
    11. Susana Munoz-Hernandez, Jose Manuel Gomez-Perez
      Pages 187-202
    12. Artem Alimarine, Sjaak Smetsers
      Pages 203-218
    13. Masahiko Kawabe, Robert Glück
      Pages 219-234
    14. Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
      Pages 235-252
    15. Bastiaan Heeren, Jurriaan Hage
      Pages 253-267
  4. Back Matter

About these proceedings


Compiler Constraint Fusion Processing XML answer set programming code generation constraint languages constraint programming declarative languages functional programming logic logic programming programming semantics

Editors and affiliations

  • Manuel V. Hermenegildo
    • 1
  • Daniel Cabeza
    • 2
  1. 1.IMDEA Institute for Software Development TechnologyUniversidad Politécnica de Madrid, University of New Mexico Universidad Complutense de Madrid 
  2. 2.School of Computer ScienceT.U. Madrid (UPM)Spain

Bibliographic information

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