Skip to main content
SpringerLink
Log in
Book cover

Practical Aspects of Declarative Languages

8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Pascal Hentenryck

    1. Brown University, Providence,  

    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 3819)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: PADL 2006.

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

  1. Front Matter

    Download chapter PDF

  2. Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine

    • Sandrine-Dominique Gouraud, Arnaud Gotlieb
    Pages 1-15

  3. Generic Cut Actions for External Prolog Predicates

    • Tiago Soares, Ricardo Rocha, Michel Ferreira
    Pages 16-30

  4. Controlling Search Space Materialization in a Practical Declarative Debugger

    • Ian MacLarty, Zoltan Somogyi
    Pages 31-44

  5. Automatic Verification of a Model Checker by Reflection

    • Bow-Yaw Wang
    Pages 45-59

  6. Probabilistic-Logical Modeling of Music

    • Jon Sneyers, Joost Vennekens, Danny De Schreye
    Pages 60-72

  7. Using Dominators for Solving Constrained Path Problems

    • Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet
    Pages 73-87

  8. JQuery: A Generic Code Browser with a Declarative Configuration Language

    • Kris De Volder
    Pages 88-102

  9. A Hybrid BDD and SAT Finite Domain Constraint Solver

    • Peter Hawkins, Peter J. Stuckey
    Pages 103-117

  10. Adding Constraint Solving to Mercury

    • Ralph Becket, Maria Garcia de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace
    Pages 118-133

  11. Modeling Genome Evolution with a DSEL for Probabilistic Programming

    • Martin Erwig, Steve Kollmansberger
    Pages 134-149

  12. Tabling in Mercury: Design and Implementation

    • Zoltan Somogyi, Konstantinos Sagonas
    Pages 150-167

  13. Translating Description Logic Queries to Prolog

    • Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
    Pages 168-182

  14. Efficient Top-Down Set-Sharing Analysis Using Cliques

    • Jorge Navas, Francisco Bueno, Manuel Hermenegildo
    Pages 183-198

  15. Querying Complex Graphs

    • Yanhong A. Liu, Scott D. Stoller
    Pages 199-214

  16. Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs

    • Diptikalyan Saha, C. R. Ramakrishnan
    Pages 215-229

  17. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina. Information about the c- ference can be found athttp://www.cs.brown.edu/people/pvh/PADL06.html. As is now traditional, PADL 2006 was co-located with the 33rd Annual Sym- sium on Principles of Programming Languages that was held on January 11-13, 2006. The PADL conference series is a forum for researchers and practioners to present original work emphasizing novel applications and implementation te- niques for all forms of declarative concepts. Topics of interest include, but are not limited to: – Innovative applications of declarative languages; – Declarative domain-speci?c languages and applications; – Practical applications of theoretical results; – New language developments and their impact on applications; – Evaluation of implementation techniques on practical applications; – Novel implementation techniques relevant to applications; – Novel uses of declarative languages in the classroom; – Practical experiences. This year, there were 36 submissions. Each submission was reviewed by at least three Programme Committee members. The committee decided to accept 15 papers. In addition, the programme also included three invited talks by Erik Meijer, David Roundy, and Philip Walder.

Editors and Affiliations

  • Brown University, Providence,  

    Pascal Hentenryck

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation