Advertisement

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

Keywords

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

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