666 search results - page 104 / 134 » A Persistent Hyper-Programming System |
POPL
2003
ACM
14 years 10 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
SIGMOD
2009
ACM
14 years 10 months ago
2009
ACM
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
SIGMOD
2007
ACM
14 years 10 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
CHI
2010
ACM
14 years 5 months ago
2010
ACM
In this paper we present the results of a field study of Avaaj Otalo (literally, “voice stoop”), an interactive voice application for small-scale farmers in Gujarat, India. T...
AINA
2009
IEEE
14 years 5 months ago
2009
IEEE
Email worms continue to be a persistent problem, indicating that current approaches against this class of selfpropagating malicious code yield rather meagre results. Additionally,...