243 search results - page 2 / 49 » Concolic testing for functional languages |
ICDE
2008
IEEE
14 years 6 months ago
2008
IEEE
Functional testing of a query language is a challenging task in practice. In order to reveal errors in the query processing functionality, it is necessary to verify the actual res...
JUCS
2006
13 years 4 months ago
2006
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...
LCPC
2005
Springer
13 years 10 months ago
2005
Springer
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...
ITC
2002
IEEE
13 years 9 months ago
2002
IEEE
ESOP
2012
Springer
12 years 17 days ago
2012
Springer
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...