This HTML5 document contains 10 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n6http://dbpedia.org/resource/John_Hughes_(computer_scientist)
rdfshttp://www.w3.org/2000/01/rdf-schema#
n7http://dbpedia.org/resource/Haskell_(programming_language)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://www.cse.chalmers.se/~rjmh/QuickCheck/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
dbpedia:QuickCheck
rdfs:comment
QuickCheck is a combinator library originally written in Haskell, designed to assist in software testing by generating test cases for test suites. It is compatible with the GHC compiler and the Hugs interpreter.In QuickCheck the programmer writes assertions about logical properties that a function should fulfill. Then QuickCheck attempts to generate test cases that falsify these assertions. The project was started in 1999.
foaf:name
QuickCheck
foaf:homepage
n4:
dbpedia-owl:developer
n6:
dbpedia-owl:genre
dbpedia:Software_testing
dbpedia-owl:language
n7:
dbpedia-owl:latestReleaseVersion
2.6
dbpedia-owl:license
dbpedia:BSD_licenses
dbpedia-owl:operatingSystem
dbpedia:Unix-like dbpedia:Microsoft_Windows