3546 search results - page 374 / 710 » A Causal Logic of Logic Programming |
101
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
130
click to vote
PADO
2001
Springer
15 years 6 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
117
Voted
CCS
2011
ACM
14 years 1 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
135
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...