product iamge

Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book constitutes the refereed proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, PADL 2003, held in New Orleans, LA, USA, in January 2003.

The 23 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 57 submissions. All current aspects of declarative programming are addressed.

Author(s): David Page (auth.), Veronica Dahl, Philip Wadler (eds.)
Series: Lecture Notes in Computer Science 2562
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003

Language: English
Pages: 414
Tags: Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Logics and Meanings of Programs

The Role of Declarative Languages in Mining Biological Databases....Pages 1-1
The Continue Server (or, How I Administered PADL 2002 and 2003)....Pages 2-16
Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics....Pages 17-18
Data Mining the Yeast Genome in a Lazy Functional Language....Pages 19-36
Non-monotonic Reasoning on Beowulf Platforms....Pages 37-57
Datalog with Constraints: A Foundation for Trust Management Languages....Pages 58-73
Web Programming with SMLserver....Pages 74-91
An Integrated Information System Powered by Prolog....Pages 92-109
JMatch: Iterable Abstract Pattern Matching for Java....Pages 110-127
Sequence Quantification....Pages 128-144
Roll: A Language for Specifying Die-Rolls....Pages 145-159
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming....Pages 160-176
Multi-agent Reactive Systems....Pages 177-193
ACTILOG: An Agent Activation Language....Pages 194-207
Logic Programs for Querying Inconsistent Databases....Pages 208-222
A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises....Pages 223-240
A Logical Framework for Modelling eMAS....Pages 241-255
SXSLT: Manipulation Language for XML....Pages 256-272
Type-Based XML Processing in Logic Programming....Pages 273-285
WAM Local Analysis....Pages 286-303
Garbage Collection Algorithms for Java-Based Prolog Engines....Pages 304-319
Solving Combinatorial Problems with a Constraint Functional Logic Language....Pages 320-338
Logic Programs as Compact Denotations....Pages 339-356
A Strafunski Application Letter....Pages 357-375
Functional Hybrid Modeling....Pages 376-390
Lambda Goes to Hollywood....Pages 391-407