Skip to main content
SpringerLink
Log in

Practical Aspects of Declarative Languages

6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Bharat Jayaraman

    1. University at Buffalo, Buffalo, 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 3057)

Included in the following conference series:

Conference proceedings info: PADL 2004.

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 (17 papers)

  1. Front Matter

    Download chapter PDF

  2. An Algebraic Theory of Polymorphic Temporal Media

    • Paul Hudak
    Pages 1-15

  3. Supporting Decisions in Complex, Uncertain Domains with Declarative Languages

    • Andrew Fall
    Pages 16-22

  4. A Typeful Approach to Object-Oriented Programming with Multiple Inheritance

    • Chiyan Chen, Rui Shi, Hongwei Xi
    Pages 23-38

  5. Compositional Model-Views with Generic Graphical User Interfaces

    • Peter Achten, Marko van Eekelen, Rinus Plasmeijer
    Pages 39-55

  6. An Implementation of Session Types

    • Matthias Neubauer, Peter Thiemann
    Pages 56-70

  7. UUXML: A Type-Preserving XML Schema–Haskell Data Binding

    • Frank Atanassow, Dave Clarke, Johan Jeuring
    Pages 71-85

  8. Improved Compilation of Prolog to C Using Moded Types and Determinism Information

    • J. Morales, Manuel Carro, Manuel Hermenegildo
    Pages 86-103

  9. A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations)

    • J. Correas, J. M. Gómez, M. Carro, D. Cabeza, M. Hermenegildo
    Pages 104-119

  10. Pruning in the Extended Andorra Model

    • Ricardo Lopes, Vítor Santos Costa, Fernando Silva
    Pages 120-134

  11. USA-Smart: Improving the Quality of Plans in Answer Set Planning

    • Marcello Balduccini
    Pages 135-147

  12. \(\mathbb{ASP-PROLOG}\): A System for Reasoning about Answer Set Programs in Prolog

    • Omar Elkhatib, Enrico Pontelli, Tran Cao Son
    Pages 148-162

  13. Simplifying Dynamic Programming via Tabling

    • Hai-Feng Guo, Gopal Gupta
    Pages 163-177

  14. Symbolic Execution of Behavioral Requirements

    • Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary
    Pages 178-192

  15. Observing Functional Logic Computations

    • Bernd Braßel, Olaf Chitil, Michael Hanus, Frank Huch
    Pages 193-208

  16. Parametric Fortran – A Program Generator for Customized Generic Fortran Extensions

    • Martin Erwig, Zhe Fu
    Pages 209-223

  17. Typing XHTML Web Applications in ML

    • Martin Elsman, Ken Friis Larsen
    Pages 224-238

  18. Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell

    • Chiyan Chen, Dengping Zhu, Hongwei Xi
    Pages 239-254

  19. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, especially those emerging from functional, logic, and c- straint languages. Declarative languages have been studied since the inception of computer science, and continue to be a vibrant subject of investigation today due to their applicability in current application domains such as bioinformatics, network con?guration, the Semantic Web, telecommunications software, etc. The 6th PADL Symposium was held in Dallas, Texas on June 18–19, 2004, and was co-located with the Compulog-Americas Summer School on Compu- tional Logic. From the submitted papers, the program committee selected 15 for presentation at the symposium based upon three written reviews for each paper, which were provided by the members of the program committee and additional referees. Two invited talks were presented at the conference. The ?rst was given by Paul Hudak (Yale University) on “An Algebraic Theory of Polymorphic T- poral Media. ” The second invited talk was given by Andrew Fall (Dowlland Technologies and Simon Fraser University) on “Supporting Decisions in C- plex, Uncertain Domains with Declarative Languages. ” Following the precedent set by the previous PADL symposium, the program committee this year again selected one paper to receive the ‘Most Practical - per’award.

Editors and Affiliations

  • University at Buffalo, Buffalo, USA

    Bharat Jayaraman

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation