243 search results - page 6 / 49 » Concolic testing for functional languages |
194
Voted
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
214
click to vote
FLOPS
2008
Springer
15 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...
209
Voted
NLPRS
2001
Springer
15 years 12 months ago
2001
Springer
We describe a simple improvement to ngram language models where we estimate the distribution over closed-class (function) words separately from the conditional distribution of ope...
170
Voted
SPEECH
2010
15 years 2 months ago
2010
The intelligibility of speech in noisy environments depends not only on the functionality of listeners' peripheral auditory systems, but also on cognitive factors such as the...
216
Voted
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...