243 search results - page 7 / 49 » Concolic testing for functional languages |
172
Voted
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
131
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
We present a range of new results for testing properties of Boolean functions that are defined in terms of the Fourier spectrum. Broadly speaking, our results show that the propert...
161
Voted
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
134
Voted
NAACL
2010
15 years 1 months ago
2010
I briefly describe a system for automatically creating an implemented grammar of a natural language based on answers to a web-based questionnaire, then present a grammar of Sahapt...
108
Voted
IJCNLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Linguistic information can help improve evaluation of similarity between documents; however, the kind of linguistic information to be used depends on the task. In this pa...