Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2003.
|
| Έκδοση: | 1st ed. 2003. |
| Σειρά: | Lecture Notes in Computer Science,
2562 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
