Skip to main content
SpringerLink
Log in

Practical Aspects of Declarative Languages

5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Veronica Dahl

    1. Computer Science Department Logic and Functional Programming Group, Simon Fraser University, Burnaby B.C., Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Philip Wadler

    1. Avaya Labs, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2562)

Included in the following conference series:

Conference proceedings info: PADL 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  3. Papers

    1. Data Mining the Yeast Genome in a Lazy Functional Language

      • Amanda Clare, Ross D. King
      Pages 19-36

    2. Non-monotonic Reasoning on Beowulf Platforms

      • E. Pontelli, M. Balduccini, F. Bermudez
      Pages 37-57

    3. Datalog with Constraints: A Foundation for Trust Management Languages

      • Ninghui Li, John C. Mitchell
      Pages 58-73

    4. Web Programming with SMLserver

      • Martin Elsman, Niels Hallenberg
      Pages 74-91

    5. An Integrated Information System Powered by Prolog

      • António Porto
      Pages 92-109

    6. JMatch: Iterable Abstract Pattern Matching for Java

      • Jed Liu, Andrew C. Myers
      Pages 110-127

    7. Sequence Quantification

      • Peter Schachte
      Pages 128-144

    8. Roll: A Language for Specifying Die-Rolls

      • Torben Mogensen
      Pages 145-159

    9. Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming

      • Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe
      Pages 160-176

    10. Multi-agent Reactive Systems

      • Prahladavaradan Sampath
      Pages 177-193

    11. ACTILOG: An Agent Activation Language

      • Jacinto A. Dávila
      Pages 194-207

    12. Logic Programs for Querying Inconsistent Databases

      • Pablo Barceló, Leopoldo Bertossi
      Pages 208-222

    13. A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises

      • Ana Paula Tomás, José Paulo Leal
      Pages 223-240

    14. A Logical Framework for Modelling eMAS

      • Pierangelo Dell’Acqua, Luís Moniz Pereira
      Pages 241-255

    15. SXSLT: Manipulation Language for XML

      • Oleg Kiselyov, Shriram Krishnamurthi
      Pages 256-272

    16. Type-Based XML Processing in Logic Programming

      • Jorge Coelho, Mário Florido
      Pages 273-285
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

Editors and Affiliations

  • Computer Science Department Logic and Functional Programming Group, Simon Fraser University, Burnaby B.C., Canada

    Veronica Dahl

  • Avaya Labs, USA

    Philip Wadler

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation