3. PADL 2001: Las Vegas, Nevada, USA

@proceedings{DBLP:conf/padl/2001,
  editor    = {I. V. Ramakrishnan},
  title     = {Practical Aspects of Declarative Languages, Third International
               Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings},
  booktitle = {PADL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1990},
  year      = {2001},
  isbn      = {3-540-41768-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• C. R. Ramakrishnan:
  A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. 1-13
  Electronic Edition (Springer LINK) BibTeX
• Michael Leuschel:
  Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. 14-28
  Electronic Edition (Springer LINK) BibTeX
• Antony Courtney:
  Frappé: Functional Reactive Programming in Java. 29-44
  Electronic Edition (Springer LINK) BibTeX
• Antonio Brogi, Gianluca Caruso:
  From Subject Directories to Subject Meta-directories via Declarative Programming. 45-59
  Electronic Edition (Springer LINK) BibTeX
• Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti:
  Programming Goal-Driven Web Sites Using an Agent Logic Language. 60-75
  Electronic Edition (Springer LINK) BibTeX
• Michael Hanus:
  High-Level Server Side Web Scripting in Curry. 76-92
  Electronic Edition (Springer LINK) BibTeX
• Anima Gupta, Paul Tarau:
  Logic Programming Techniques for Dynamic VRML Web Content Generation. 93-107
  Electronic Edition (Springer LINK) BibTeX
• Giampaolo Bella, Stefano Bistarelli:
  Soft Constraints for Security Protocol Analysis: Confidentiality. 108-122
  Electronic Edition (Springer LINK) BibTeX
• Steve Barker:
  Secure Deductive Databases. 123-137
  Electronic Edition (Springer LINK) BibTeX
• Horatiu Cirstea:
  Specifying Authentication Protocols Using Rewriting and Strategies. 138-152
  Electronic Edition (Springer LINK) BibTeX
• Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan:
  Interoperability between Bioinformatics Tools: A Logic Programming Approach. 153-168
  Electronic Edition (Springer LINK) BibTeX
• Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry:
  An A-Prolog Decision Support System for the Space Shuttle. 169-183
  Electronic Edition (Springer LINK) BibTeX
• Enrico Denti, Andrea Omicini, Alessandro Ricci:
  tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures. 184-198
  Electronic Edition (Springer LINK) BibTeX
• Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
  A Novel Implementation of the Extended Andorra Model. 199-213
  Electronic Edition (Springer LINK) BibTeX
• Hendrik Decker:
  Soundcheck for SQL. 214-228
  Electronic Edition (Springer LINK) BibTeX
• Pierre Flener, Brahim Hnich, Zeynep Kiziltan:
  Compiling High-Level Type Constructors in Constraint Programming. 229-244
  Electronic Edition (Springer LINK) BibTeX
• Supratik Mukhopadhyay, Andreas Podelski:
  Constraint Database Models Characterizing Timed Bisimilarity. 245-258
  Electronic Edition (Springer LINK) BibTeX
• Alessandra Raffaetà, Thom W. Frühwirth:
  Spatio-temporal Annotated Constraint Logic Programming. 259-273
  Electronic Edition (Springer LINK) BibTeX
• Pierre Flener, Brahim Hnich, Zeynep Kiziltan:
  A Meta-heuristic for Subset Problems. 274-287
  Electronic Edition (Springer LINK) BibTeX
• Enrico Pontelli, Omar El-Khatib:
  Construction and Optimization of a Parallel Engine for Answer Set Programming. 288-303
  Electronic Edition (Springer LINK) BibTeX
• John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager:
  FVision: A Declarative Language for Visual Tracking. 304-321
  Electronic Edition (Springer LINK) BibTeX
• Satyam Tyagi, Paul Tarau:
  A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. 322-336
  Electronic Edition (Springer LINK) BibTeX
• Owen Kaser:
  State Generation in the PARMC Model Checker. 337-352
  Electronic Edition (Springer LINK) BibTeX