243 search results - page 25 / 49 » Concolic testing for functional languages |
CPHYSICS
2006
14 years 9 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...
SIGMOD
2012
ACM
13 years 3 days ago
2012
ACM
The success of data-driven solutions to difficult problems, along with the dropping costs of storing and processing massive amounts of data, has led to growing interest in largesc...
ECML
2003
Springer
15 years 2 months ago
2003
Springer
In this paper we show how to learn rules to improve the performance of a machine translation system. Given a system consisting of two translation functions (one from language A to ...
ENTCS
2007
14 years 9 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
102
click to vote
ICFP
2002
ACM
15 years 9 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...