379 search results - page 61 / 76 » Generalized Typestate Checking for Data Structure Consistenc... |
POPL
2012
ACM
12 years 3 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
ICS
2009
Tsinghua U.
14 years 2 months ago
2009
Tsinghua U.
It has been observed that some applications manipulate large amounts of null data. Moreover these zero data often exhibit high spatial locality. On some applications more than 20%...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
Many websites have large collections of pages generated dynamically from an underlying structured source like a database. The data of a category are typically encoded into similar...
KDD
2008
ACM
14 years 8 months ago
2008
ACM
A multi-mode network typically consists of multiple heterogeneous social actors among which various types of interactions could occur. Identifying communities in a multi-mode netw...