Skip to main content
  • Conference proceedings
  • © 2007

Practical Aspects of Declarative Languages

9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings

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

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

Conference series link(s): PADL: International Symposium on Practical Aspects of Declarative Languages

Conference proceedings info: PADL 2007.

Buy it now

Buying options

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

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

Table of contents (21 papers)

  1. Front Matter

  2. QuickCheck Testing for Fun and Profit

    • John Hughes
    Pages 1-32
  3. Rewriting Haskell Strings

    • Duncan Coutts, Don Stewart, Roman Leshchinskiy
    Pages 50-64
  4. Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning

    • Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki
    Pages 65-79
  5. Algebraic Knowledge Discovery Using Haskell

    • Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller
    Pages 80-93
  6. Automatic Incrementalization of Prolog Based Static Analyses

    • Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann
    Pages 109-123
  7. Verification of Java Bytecode Using Analysis and Transformation of Logic Programs

    • Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla
    Pages 124-139
  8. Combining Static Analysis and Profiling for Estimating Execution Times

    • Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
    Pages 140-154
  9. Compiling Constraint Handling Rules for Efficient Tabled Evaluation

    • Beata Sarna-Starosta, C. R. Ramakrishnan
    Pages 170-184
  10. Prolog Performance on Larger Datasets

    • Vítor Santos Costa
    Pages 185-199
  11. From Zinc to Design Model

    • Reza Rafeh, Maria Garcia de la Banda, Kim Marriott, Mark Wallace
    Pages 215-229
  12. Inductive Logic Programming by Instance Patterns

    • Chongbing Liu, Enrico Pontelli
    Pages 230-244
  13. The Joins Concurrency Library

    • Claudio Russo
    Pages 260-274
  14. HPorter: Using Arrows to Compose Parallel Processes

    • Liwen Huang, Paul Hudak, John Peterson
    Pages 275-289
  15. Coupled Schema Transformation and Data Conversion for XML and SQL

    • Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser
    Pages 290-304

Other Volumes

  1. Practical Aspects of Declarative Languages

Editors and Affiliations

  • Institut für Informatik, CAU Kiel, Germany

    Michael Hanus

Bibliographic Information

Buy it now

Buying options

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