222 search results - page 3 / 45 » A Systematic Study of Functional Language Implementations |
MIE
2008
13 years 7 months ago
2008
The current Swedish regulations for medical alerts in health records were designed for paper records. Suggestions for computerized systems are now being investigated. A proposed mo...
ESOP
2007
Springer
14 years 13 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
JIB
2007
13 years 6 months ago
2007
The continuing and rapid increase in the number of fully sequenced genomes is creating new opportunities for comparative studies. However, although many genomic databases store da...
SOUPS
2006
ACM
14 years 6 days ago
2006
ACM
Today organizations do not have good ways of linking their written privacy policies with the implementation of those policies. To assist organizations in addressing this issue, ou...
PADL
2004
Springer
13 years 11 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...