Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
21
views
9
references
Top references
cited by
4
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,021
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Practical Aspects of Declarative Languages
QuickCheck Testing for Fun and Profit
other
Author(s):
John Hughes
Publication date
(Print):
2006
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
HIV Self-Testing
Most cited references
9
Record
: found
Abstract
: not found
Article
: not found
An empirical study of the reliability of UNIX utilities
Barton Miller
,
Louis Fredriksen
,
Bryan So
(1990)
0
comments
Cited
56
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Extended static checking for Java
K. Rustan M. Leino
,
Cormac Flanagan
,
Raymie Stata
…
(2002)
0
comments
Cited
42
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
QuickCheck
John Hughes
,
Koen Claessen
(2000)
0
comments
Cited
36
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2006
Pages
: 1-32
DOI:
10.1007/978-3-540-69611-7_1
SO-VID:
30f4b52b-1759-4bc0-ae4d-7326ccd1699b
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
QuickCheck Testing for Fun and Profit
pp. 33
A Constraint Programming Approach to Bioinformatics Structural Problems
pp. 50
Rewriting Haskell Strings
pp. 65
Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning
pp. 80
Algebraic Knowledge Discovery Using Haskell
pp. 94
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
pp. 109
Automatic Incrementalization of Prolog Based Static Analyses
pp. 124
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs
pp. 140
Combining Static Analysis and Profiling for Estimating Execution Times
pp. 155
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation
pp. 170
Compiling Constraint Handling Rules for Efficient Tabled Evaluation
pp. 185
Prolog Performance on Larger Datasets
pp. 200
BAD, a Declarative Logic-Based Language for Brain Modeling
pp. 215
From Zinc to Design Model
pp. 230
Inductive Logic Programming by Instance Patterns
pp. 245
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
pp. 260
The Joins Concurrency Library
pp. 275
HPorter: Using Arrows to Compose Parallel Processes
pp. 290
Coupled Schema Transformation and Data Conversion for XML and SQL
pp. 305
Aspect-Oriented Programming in Higher-Order and Linear Logic
pp. 320
Partial Evaluation of Pointcuts
Similar content
2,021
‘Risky fun’ or ‘Authentic science’? How teachers’ beliefs influence their practice during a professional development programme on outdoor learning
Authors:
Melissa Glackin
Having fun doing math: text messages promoting parent involvement increased student learning
Authors:
M. Santana
,
M Nussbaum
,
R. CARMONA
…
Just for fun! How experimental spaces stimulate innovation in institutionalized fields
Authors:
M. Cartel
,
E. Boxenbaum
,
F. Aggeri
See all similar
Cited by
4
Foundational Property-Based Testing
Authors:
Zoe Paraskevopoulou
,
Catalin Hritcu
,
Maxime Dénès
…
How functional programming mattered
Authors:
Zhenjiang Hu
,
John Hughes
,
Meng Wang
Implementing, and Keeping in Check, a DSL Used in E-Learning
Authors:
Oliver Westphal
,
Janis Voigtländer
See all cited by