Sciweavers

Share
7 search results - page 2 / 2
» Testing Erlang data types with quviq quickcheck
Sort
View
ICFP
2010
ACM
12 years 2 months ago
Logical types for untyped languages
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...
Sam Tobin-Hochstadt, Matthias Felleisen
MSS
1999
IEEE
150views Hardware» more  MSS 1999»
12 years 6 months ago
Performance Benchmark Results for Automated Tape Library High Retrieval Rate Applications - Digital Check Image Retrievals
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...
John Gniewek, George Davidson, Bowen Caldwell
books