1246 search results - page 170 / 250 » Online testing with model programs |
149
click to vote
ICLA
2011
Springer
14 years 4 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
106
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
The primary function of current Web search engines is essentially relevance ranking at the document level. However, myriad structured information about real-world objects is embed...
123
Voted
TSE
2010
14 years 11 months ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
139
Voted
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
118
click to vote
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...