2596 search results - page 479 / 520 » Gradual Typing for Objects |
104
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
The Revised6 Report on Scheme requires its generic equivalence predicate, equal?, to terminate even on cyclic inputs. While the terminating equal? can be implemented via a DFA-equ...
125
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
Rank-aware query processing has become essential for many applications that return to the user only the top-k objects based on the individual user's preferences. Top-k queries...
147
click to vote
POPL
2010
ACM
16 years 21 days ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
122
Voted
SODA
2010
ACM
16 years 21 days ago
2010
ACM
We introduce the classified stable matching problem, a problem motivated by academic hiring. Suppose that a number of institutes are hiring faculty members from a pool of applican...
118
Voted
SOSP
2009
ACM
16 years 6 days ago
2009
ACM
Bug reproduction is critically important for diagnosing a production-run failure. Unfortunately, reproducing a concurrency bug on multi-processors (e.g., multi-core) is challengin...