526 search results - page 28 / 106 » Programming in JoCaml (Tool Demonstration) |
81
Voted
BMCBI
2008
15 years 18 days ago
2008
Background: There are several situations in population biology research where simulating DNA sequences is useful. Simulation of biological populations under different evolutionary...
111
Voted
TOOLS
2009
IEEE
15 years 7 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
100
Voted
TSE
2010
14 years 11 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
PADL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
111
click to vote
METRICS
1999
IEEE
15 years 4 months ago
1999
IEEE
One of the most important steps towards effective software maintenance of a large complicated system is to understand how program features are spread over the entire system and th...