13734 search results - page 449 / 2747 » Abstractions of data types |
177
Voted
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
204
click to vote
JPDC
2008
15 years 6 months ago
2008
The problem of global state observation is fundamental to distributed systems and to the analysis of data streams. Many interactions in distributed systems can be analyzed in term...
144
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
192
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Microarray expression profiling has been widely used to identify differentially expressed genes in complex cellular systems. However, while such methods can be used to...