Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2003, 2003
|
Edition: | 1st ed. 2003 |
Series: | Lecture Notes in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Invited Papers
- The Role of Declarative Languages in Mining Biological Databases
- The Continue Server (or, How I Administered PADL 2002 and 2003)
- Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics
- Papers
- Data Mining the Yeast Genome in a Lazy Functional Language
- Non-monotonic Reasoning on Beowulf Platforms
- Datalog with Constraints: A Foundation for Trust Management Languages
- Web Programming with SMLserver
- An Integrated Information System Powered by Prolog
- JMatch: Iterable Abstract Pattern Matching for Java
- Sequence Quantification
- Roll: A Language for Specifying Die-Rolls
- Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming
- Multi-agent Reactive Systems
- ACTILOG: An Agent Activation Language
- Logic Programs for Querying Inconsistent Databases
- A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises
- A Logical Framework for Modelling eMAS
- SXSLT: Manipulation Language for XML
- Type-Based XML Processing in Logic Programming
- WAM Local Analysis
- Garbage Collection Algorithms for Java-Based Prolog Engines
- Solving Combinatorial Problems with a Constraint Functional Logic Language
- Logic Programs as Compact Denotations
- A Strafunski Application Letter
- Functional Hybrid Modeling
- Lambda Goes to Hollywood