1411 search results - page 21 / 283 » Interactive Coding for Interactive Proofs |
FASE
2005
Springer
14 years 4 months ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
STOC
1993
ACM
14 years 3 months ago
1993
ACM
ENTCS
2007
13 years 11 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
ECCC
2010
13 years 9 months ago
2010
We show that it is possible to encode any communication protocol between two parties so that the protocol succeeds even if a (1/4 − ǫ) fraction of all symbols transmitted by th...