7 search results - page 2 / 2 » Smart Testing of Functional Programs in Isabelle |
BMCBI
2004
13 years 4 months ago
2004
Background: In a previous paper, we introduced MUSCLE, a new program for creating multiple alignments of protein sequences, giving a brief summary of the algorithm and showing MUS...
WWW
2009
ACM
14 years 5 months ago
2009
ACM
The rapid growth of social networking sites and web communities have motivated web sites to expose their APIs to external developers who create mashups by assembling existing func...