7 search results - page 2 / 2 » Testing Erlang data types with quviq quickcheck |
ICFP
2010
ACM
13 years 5 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
MSS
1999
IEEE
13 years 9 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...