6248 search results - page 32 / 1250 » Programming in a data factory |
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
FLOPS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original p...
KDD
2003
ACM
14 years 8 months ago
2003
ACM
QSIC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...