Programming and Software Engineering

Practical Aspects of Declarative Languages

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

Editors: Hanus, Michael (Ed.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-540-69611-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-69608-7
  • with online files
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (21 chapters)

  • QuickCheck Testing for Fun and Profit

    Hughes, John

    Pages 1-32

  • A Constraint Programming Approach to Bioinformatics Structural Problems

    Barahona, Pedro (et al.)

    Pages 33-49

  • Rewriting Haskell Strings

    Coutts, Duncan (et al.)

    Pages 50-64

  • Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning

    Morimoto, Takeshi (et al.)

    Pages 65-79

  • Algebraic Knowledge Discovery Using Haskell

    Fisseler, Jens (et al.)

    Pages 80-93

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-540-69611-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-69608-7
  • with online files
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Practical Aspects of Declarative Languages
Book Subtitle
9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
Editors
  • Michael Hanus
Series Title
Programming and Software Engineering
Series Volume
4354
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69611-7
DOI
10.1007/978-3-540-69611-7
Softcover ISBN
978-3-540-69608-7
Edition Number
1
Number of Pages
X, 342
Topics