Batch Checking with Applications to Linear Functions

Abstract We introduce the model of batch checking, which allows one to check the result of a program on many inputs at once. We show that one can batch check programs for linear functions with very little overhead in the running time.

[1]  Manuel Blum,et al.  Designing programs that check their work , 1989, STOC '89.

[2]  Manuel Blum,et al.  Checking the correctness of memories , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[3]  Manuel Blum,et al.  Program Correctness: Can One Test For It? , 1989, IFIP Congress.

[4]  Rusins Freivalds,et al.  Fast Probabilistic Algorithms , 1979, MFCS.

[5]  Manuel Blum,et al.  Self-testing/correcting with applications to numerical problems , 1990, STOC '90.