Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th PADL 2003: New Orleans, LA, USA
- Verónica Dahl, Philip Wadler:
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
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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
