157
click to vote
ECOOP
2012
Springer
13 years 7 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
195
click to vote
ECOOP
2012
Springer
13 years 7 months ago
2012
Springer
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...
186
click to vote
ECOOP
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Transcript is a system that enhances JavaScript with support for transactions. Hosting Web applications can use transactions to demarcate regions that contain untrusted g...
148
click to vote
ECOOP
2012
Springer
13 years 7 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
273
click to vote
STOC
2012
ACM
13 years 7 months ago
2012
ACM
In this paper we develop a new technique for proving lower bounds on the update time and query time of dynamic data structures in the cell probe model. With this technique, we pro...
167
Voted
STOC
2012
ACM
13 years 7 months ago
2012
ACM
166
click to vote
STOC
2012
ACM
13 years 7 months ago
2012
ACM
d abstract; full version begins on page 13) Ryan O’Donnell∗ John Wright† November 2, 2011 We show that distinguishing 1 2 -satisfiable Unique-Games instances from (3 8 + )-...
161
Voted
STOC
2012
ACM
13 years 7 months ago
2012
ACM
197
click to vote
STOC
2012
ACM
13 years 7 months ago
2012
ACM
Option contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset’s future market price. In short, an option has...