1670 search results - page 203 / 334 » On Skolemization in constructive theories |
183
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
199
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
189
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
220
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...
340
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
People are seldom aware that their search queries frequently mismatch a majority of the relevant documents. This may not be a big problem for topics with a large and diverse set o...