4421 search results - page 763 / 885 » Libraries |
124
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
The Revised6 Report on Scheme requires its generic equivalence predicate, equal?, to terminate even on cyclic inputs. While the terminating equal? can be implemented via a DFA-equ...
101
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
117
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...