Advertisement

Principles and Practice of Declarative Programming

International Conference, PPDP’99, Paris, France, September, 29 - October 1, 1999. Proceedings

  • Gopalan Nadathur

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

Table of contents

  1. Front Matter
  2. Simon Peyton Jones, Norman Ramsey, Fermin Reig
    Pages 1-28
  3. Fairouz Kamareddine, François Monin
    Pages 29-46
  4. Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama
    Pages 47-61
  5. Davide Ancona, Elena Zucca
    Pages 62-79
  6. Claudio V. Russo
    Pages 80-97
  7. P. Van Hentenryck, L. Michel, L. Perron, J. -C. Régin
    Pages 98-116
  8. Christian Holzbaur, Thom Frühwirth
    Pages 117-133
  9. Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz, José Ruz
    Pages 134-151
  10. P. Arenas-Sánchez, F. J. López-Fraguas, M. Rodríguez-Artalejo
    Pages 152-169
  11. Maribel Fernández, Ian Mackie
    Pages 170-187
  12. Frank Pfenning
    Pages 206-206
  13. Dante Baldan, Nicola Civran, Gilberto Filé, Francesco Pulvirenti
    Pages 207-223
  14. Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway, David Jeffery
    Pages 224-243
  15. Luís Lopes, Fernando Silva, Vasco T. Vasconcelos
    Pages 244-260
  16. Vítor Santos Costa
    Pages 261-277
  17. Lunjin Lu, John G. Cleary
    Pages 294-310
  18. Roberta Gori, Giorgio Levi
    Pages 311-327
  19. Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye
    Pages 342-359
  20. Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
    Pages 360-377
  21. Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
    Pages 396-413
  22. Enea Zaffanella, Roberto Bagnara, Patricia M. Hill
    Pages 414-431
  23. Back Matter

About these proceedings

Keywords

Assembly language Constraint Declarative Programming Functional Programming ML Program Semantics Programming Language Implementation Programming Logics Prolog Standard ML distributed programming logic programming programming language semantics

Editors and affiliations

  • Gopalan Nadathur
    • 1
  1. 1.Digital Technology Center and Dept of CSUniversity of Minnesota 

Bibliographic information

  • DOI https://doi.org/10.1007/10704567
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66540-3
  • Online ISBN 978-3-540-48164-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site