Practical Aspects of Declarative Languages

Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings

  • I. V. Ramakrishnan
Conference proceedings PADL 2001

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti
    Pages 60-75
  3. Giampaolo Bella, Stefano Bistarelli
    Pages 108-122
  4. Steve Barker
    Pages 123-137
  5. Juan R. Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan
    Pages 153-168
  6. Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
    Pages 169-183
  7. Enrico Denti, Andrea Omicini, Alessandro Ricci
    Pages 184-198
  8. Ricardo Lopes, Vítor Santos Costa, Fernando Silva
    Pages 199-213
  9. Hendrik Decker
    Pages 214-228
  10. Pierre Flener, Brahim Hnich, Zeynep Kiziltan
    Pages 229-244
  11. Supratik Mukhopadhyay, Andreas Podelski
    Pages 245-258
  12. Alessandra Raffaetà, Thom Frühwirth
    Pages 259-273
  13. Pierre Flener, Brahim Hnich, Zeynep Kiziltan
    Pages 274-287

About these proceedings

Keywords

Constraint Java Prolog Rack model checking programming virtual reality

Editors and affiliations

  • I. V. Ramakrishnan
    • 1
  1. 1.Department of Computer ScienceState University of New YorkNYUSA

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45241-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41768-2
  • Online ISBN 978-3-540-45241-6
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace