QuickCheck - PDFSEARCH.IO - Document Search Engine

QuickCheck
Results: 46

#	Item
41	Bondegärdet 11, lgh[removed], Angered[removed]removed] CV Add to Reading List Source URL: ekblad.cc Language: English - Date: 2014-02-21 07:48:44 Cross-platform software Programming paradigms Functional languages QuickCheck Haskell SoapUI JavaScript Object-oriented programming Functional programming Software engineering Computing Software
42	QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2012-09-04 14:20:13 Functional languages Functional programming QuickCheck Literate programming Procedural programming languages Randomness Monad Test Data Generation ML Software engineering Computing Computer programming
43	CHEMICAL Checking Safety Interlocks with QuickCheck Add to Reading List Source URL: www2.emersonprocess.com Language: English - Date: 2013-09-03 12:43:40 Maintenance Interlock Syngenta Technology Safety Automation Predictive maintenance Business Knowledge AMS Device Manager Business software Industrial agriculture
44	Filet-o-Fish: practical and dependable domain-specific languages for OS development Pierre-Evariste Dagand Add to Reading List Source URL: www.barrelfish.org Language: English - Date: 2009-09-21 15:03:49 Compiler construction Theoretical computer science Logic in computer science Formal methods Procedural programming languages Domain-specific language Compiler QuickCheck C Computing Software engineering Software
45	PDF Document Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-10-12 13:45:57 Functional languages Functional programming QuickCheck Literate programming Procedural programming languages Randomness Monad Test Data Generation ML Software engineering Computing Computer programming
46	PDF Document Add to Reading List Source URL: autotelicum.github.com Language: English Scripting languages JavaScript QuickCheck CoffeeScript Software Computing

UPDATE