Advertisement

Practical Aspects of Declarative Languages

9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

  • Michael Hanus

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

Table of contents

  1. Front Matter
  2. John Hughes
    Pages 1-32
  3. Duncan Coutts, Don Stewart, Roman Leshchinskiy
    Pages 50-64
  4. Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki
    Pages 65-79
  5. Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller
    Pages 80-93
  6. Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann
    Pages 109-123
  7. Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla
    Pages 124-139
  8. Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
    Pages 140-154
  9. Beata Sarna-Starosta, C. R. Ramakrishnan
    Pages 170-184
  10. Vítor Santos Costa
    Pages 185-199
  11. Reza Rafeh, Maria Garcia de la Banda, Kim Marriott, Mark Wallace
    Pages 215-229
  12. Chongbing Liu, Enrico Pontelli
    Pages 230-244
  13. Claudio Russo
    Pages 260-274
  14. Liwen Huang, Paul Hudak, John Peterson
    Pages 275-289
  15. Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser
    Pages 290-304
  16. Karl Klose, Klaus Ostermann, Michael Leuschel
    Pages 320-334
  17. Back Matter

About these proceedings

Keywords

Constraint Java Prolog logic model checking programming programming language

Editors and affiliations

  • Michael Hanus
    • 1
  1. 1.Institut für InformatikCAU KielGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-69611-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-69608-7
  • Online ISBN 978-3-540-69611-7
  • 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