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

Bibliographic Details
Other Authors: Dahl, Veronica (Editor), Wadler, Philip (Editor)
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