You have Guest access.
Log In
Veronica Dahl and Philip Wadler
Front matter
1
The Role of Declarative Languages in Mining Biological Databases
2-16
The Continue Server (or, How I Administered PADL 2002 and 2003)
17-18
Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics
19-36
Data Mining the Yeast Genome in a Lazy Functional Language
37-57
Non-monotonic Reasoning on Beowulf Platforms
58-73
Datalog with Constraints: A Foundation for Trust Management Languages
74-91
Web Programming with SMLserver
92-109
An Integrated Information System Powered by Prolog
110-127
JMatch: Iterable Abstract Pattern Matching for Java
128-144
Sequence Quantification
145-159
Roll: A Language for Specifying Die-Rolls
160-176
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming
177-193
Multi-agent Reactive Systems
194-207
ACTILOG: An Agent Activation Language
208-222
Logic Programs for Querying Inconsistent Databases
223-240
A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises
241-255
A Logical Framework for Modelling eMAS
256-272
SXSLT: Manipulation Language for XML
273-285
Type-Based XML Processing in Logic Programming
286-303
WAM Local Analysis
304-319
Garbage Collection Algorithms for Java-Based Prolog Engines
320-338
Solving Combinatorial Problems with a Constraint Functional Logic Language
339-356
Logic Programs as Compact Denotations
357-375
A Strafunski Application Letter
376-390
Functional Hybrid Modeling
391-407
Lambda Goes to Hollywood
Back matter
David Page
Shriram Krishnamurthi
Gérard Huet
Amanda Clare and Ross D. King
E. Pontelli, M. Balduccini and F. Bermudez
Ninghui Li and John C. Mitchell
Martin Elsman and Niels Hallenberg
António Porto
Jed Liu and Andrew C. Myers
Peter Schachte
Torben Mogensen
Esra Erdem, Vladimir Lifschitz, Luay Nakhleh and Donald Ringe
Prahladavaradan Sampath
Jacinto A. Dávila
Pablo Barceló and Leopoldo Bertossi
Ana Paula Tomás and José Paulo Leal
Pierangelo Dell’Acqua and Luís Moniz Pereira
Oleg Kiselyov and Shriram Krishnamurthi
Jorge Coelho and Mário Florido
Michel Ferreira and Luís Damas
Qinan Zhou and Paul Tarau
Antonio J. Fernández, Teresa Hortalá-González and Fernando Sáenz-Pérez
Patricia M. Hill and Fausto Spoto
Ralf Lämmel and Joost Visser
Henrik Nilsson, John Peterson and Paul Hudak
Victor M. Gulias, Carlos Abalde and Juan J. Sanchez
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info