243 search results - page 6 / 49 » Concolic testing for functional languages |
CORR
2006
Springer
14 years 9 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...
FLOPS
2008
Springer
14 years 11 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...
77
Voted
NLPRS
2001
Springer
15 years 2 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...
SPEECH
2010
14 years 4 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...
ESOP
2010
Springer
15 years 7 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...