Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
2562 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Practical aspects of declarative languages, 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, proceedings, Veronica Dahl, Philip Wadler (eds.), Berlin, Springer, 2002, 1 vol. (X-407 p.), Lecture notes in computer science, 3-540-00389-4 • Practical Aspects of Declarative Languages, Texte imprimé, 9783662193679 |
Sisällysluettelo:
- 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.