4107 search results - page 7 / 822 » The Generalized Lambda Test |
245
Voted
AAIP
2009
15 years 8 months ago
2009
We use generic programming techniques to generate well-typed lambda terms. We encode well-typed terms by generalized algebraic datatypes (GADTs) and existential types. The Spine a...
163
Voted
DAC
1999
ACM
16 years 8 months ago
1999
ACM
205
Voted
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
223
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
Evaluation metrics play a critical role both in the context of comparative evaluation of the performance of retrieval systems and in the context of learning-to-rank (LTR) as objec...
192
Voted
ICFEM
2004
Springer
16 years 24 days ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...