5. PADL 2003: New Orleans, LA, USA

Verónica Dahl, Philip Wadler (Eds.): Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings. Lecture Notes in Computer Science 2562 Springer 2003, ISBN 3-540-00389-4 BibTeX

@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
Electronic Edition (Springer LINK) BibTeX
Shriram Krishnamurthi:
The CONTINUE Server (or, How I Administered PADL 2002 and 2003). 2-16
Electronic Edition (Springer LINK) BibTeX
Gérard P. Huet:
Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. 17-18
Electronic Edition (Springer LINK) BibTeX

Papers

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