Programming and Software Engineering
© 2007
Practical Aspects of Declarative Languages
9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
Editors: Hanus, Michael (Ed.)
Free PreviewBuy this book
- Table of contents (21 chapters)
-
-
QuickCheck Testing for Fun and Profit
Pages 1-32
-
A Constraint Programming Approach to Bioinformatics Structural Problems
Pages 33-49
-
Rewriting Haskell Strings
Pages 50-64
-
Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning
Pages 65-79
-
Algebraic Knowledge Discovery Using Haskell
Pages 80-93
-
Table of contents (21 chapters)
Recommended for you

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