![Practical Aspects of Declarative Languages [electronic resource] : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings /](/search/themes/bootstrap3/images/libros.png)
Practical Aspects of Declarative Languages [electronic resource] : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings /
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.
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2003
|
| Subjects: | Computer science., Computer programming., Software engineering., Programming languages (Electronic computers)., Computer logic., Computer Science., Programming Languages, Compilers, Interpreters., Programming Techniques., Software Engineering., Logics and Meanings of Programs., |
| Online Access: | http://dx.doi.org/10.1007/3-540-36388-2 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|