5. PADL 2003: New Orleans, LA, USA

@proceedings{DBLP:conf/padl/2003,
  editor    = {Ver{\'o}nica Dahl and
               Philip Wadler},
  title     = {Practical Aspects of Declarative Languages, 5th International
               Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003,
               Proceedings},
  booktitle = {PADL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2562},
  year      = {2003},
  isbn      = {3-540-00389-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• C. David Page Jr.:
  The Role of Declarative Languages in Mining Biological Databases. 1
  
• Shriram Krishnamurthi:
  The CONTINUE Server (or, How I Administered PADL 2002 and 2003). 2-16
  
• Gérard P. Huet:
  Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. 17-18
  

Papers

• Amanda Clare, Ross D. King:
  Data Mining the Yeast Genome in a Lazy Functional Language. 19-36
  
• Enrico Pontelli, Marcello Balduccini, F. Bermudez:
  Non-monotonic Reasoning on Beowulf Platforms. 37-57
  
• Ninghui Li, John C. Mitchell:
  DATALOG with Constraints: A Foundation for Trust Management Languages. 58-73
  
• Martin Elsman, Niels Hallenberg:
  Web Programming with SMLserver. 74-91
  
• António Porto:
  An Integrated Information System Powered by Prolog. 92-109
  
• Jed Liu, Andrew C. Myers:
  JMatch: Iterable Abstract Pattern Matching for Java. 110-127
  
• Peter Schachte:
  Sequence Quantification. 128-144
  
• Torben Æ. Mogensen:
  Roll : A Language for Specifying Die-Rolls. 145-159
  
• Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe:
  Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. 160-176
  
• Prahladavaradan Sampath:
  Multi-agent Reactive Systems. 177-193
  
• Jacinto A. Dávila:
  ACTILOG: An Agent Activation Language. 194-207
  
• Pablo Barceló, Leopoldo E. Bertossi:
  Logic Programs for Querying Inconsistent Databases. 208-222
  
• Ana Paula Tomás, José Paulo Leal:
  A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. 223-240
  
• Pierangelo Dell'Acqua, Luís Moniz Pereira:
  A Logical Framework for Modelling eMAS. 241-255
  
• Oleg Kiselyov, Shriram Krishnamurthi:
  SXSLT: Manipulation Language for XML. 256-272
  
• Jorge Coelho, Mário Florido:
  Type-Based XML Processing in Logic Programming. 273-285
  
• Michel Ferreira, Luís Damas:
  WAM Local Analysis. 286-303
  
• Qinan Zhou, Paul Tarau:
  Garbage Collection Algorithms for Java-Based Prolog Engines. 304-319
  
• Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez:
  Solving Combinatorial Problems with a Constraint Functional Logic Language. 320-338
  
• Patricia M. Hill, Fausto Spoto:
  Logic Programs as Compact Denotations. 339-356
  
• Ralf Lämmel, Joost Visser:
  A Strafunski Application Letter. 357-375
  
• Henrik Nilsson, John Peterson, Paul Hudak:
  Functional Hybrid Modeling. 376-390
  
• Víctor M. Gulías, Carlos Abalde, Juan J. Sánchez:
  Lambda Goes to Hollywood. 391-407