Practical aspects of declarative languages. 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13--14, 2003. Proceedings (Q1396799)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Page, David}, The role of declarative languages in mining biological databases, 1 [Zbl 1026.68805] \textit{Krishnamurthi, Shriram}, The CONTINUE server (or, how I administered PADL 2002 and 2003), 2-16 [Zbl 1026.68788] \textit{Huet, Gérard}, Zen and the art of symbolic computing: Light and fast applicative algorithms for computational linguistics, 17-18 [Zbl 1026.68779] \textit{Clare, Amanda; King, Ross D.}, Data mining the yeast genome in a lazy functional language, 19-36 [Zbl 1026.68764] \textit{Pontelli, E.; Balduccini, M.; Bermudez, F.}, Nonmonotonic reasoning on Beowulf platforms, 37-57 [Zbl 1026.68810] \textit{Li, Ninghui; Mitchell, John C.}, DATALOG with constraints: A foundation for trust management languages, 58-73 [Zbl 1026.68793] \textit{Elsman, Martin; Hallenberg, Niels}, Web programming with SMLserver, 74-91 [Zbl 1026.68771] \textit{Porto, António}, An integrated information system powered by Prolog, 92-109 [Zbl 1026.68811] \textit{Liu, Jed; Myers, Andrew C.}, JMatch: Iterable abstract pattern matching for Java, 110-127 [Zbl 1026.68795] \textit{Schachte, Peter}, Sequence quantification, 128-144 [Zbl 1026.68818] \textit{Mogensen, Torben}, Roll: A language for specifying die-rolls, 145-159 [Zbl 1026.68799] \textit{Erdem, Esra; Lifschitz, Vladimir; Nakhleh, Luay; Ringe, Donald}, Reconstructing the evolutionary history of Indo-European languages using answer set programming, 160-176 [Zbl 1026.68772] \textit{Sampath, Prahladavaradan}, Multi-agent reactive systems, 177-193 [Zbl 1026.68815] \textit{Dávila, Jacinto A.}, ACTILOG: An agent activation language, 194-207 [Zbl 1026.68766] \textit{Barceló, Pablo; Bertossi, Leopoldo}, Logic programs for querying inconsistent databases, 208-222 [Zbl 1026.68761] \textit{Tomás, Ana Paula; Leal, José Paulo}, A CLP-based tool for computer aided generation and solving of maths exercises, 223-240 [Zbl 1026.68822] \textit{Dell'Acqua, Pierangelo; Pereira, Luís Moniz}, A logical framework for modelling eMAS, 241-255 [Zbl 1026.68767] \textit{Kiselyov, Oleg; Krishnamurthi, Shriram}, SXSLT: Manipulation language for XML, 256-272 [Zbl 1026.68785] \textit{Coelho, Jorge; Florido, Mário}, Type-based XML processing in logic programming, 273-285 [Zbl 1026.68765] \textit{Ferreira, Michel; Damas, Luís}, WAM local analysis, 286-303 [Zbl 1026.68775] \textit{Zhou, Qinan; Tarau, Paul}, Garbage collection algorithms for Java-based Prolog engines, 304-319 [Zbl 1026.68830] \textit{Fernández, Antonio J.; Hortalá-González, Teresa; Sáenz-Pérez, Fernando}, Solving combinatorial problems with a constraint functional logic language, 320-338 [Zbl 1026.68774] \textit{Hill, Patricia M.; Spoto, Fausto}, Logic programs as compact denotations, 339-356 [Zbl 1026.68778] \textit{Lämmel, Ralf; Visser, Joost}, A Strafunski application letter, 357-375 [Zbl 1026.68791] \textit{Nilsson, Henrik; Peterson, John; Hudak, Paul}, Functional hybrid modeling, 376-390 [Zbl 1026.68803] \textit{Gulias, Victor M.; Abalde, Carlos; Sanchez, Juan J.}, Lambda goes to Hollywood, 391-407 [Zbl 1026.68777]