@article{591eb81848924af38a03a419227383d2,
title = "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.",
keywords = "Design of algorithms, program correctness",
author = "Ronitt Rubinfeld",
note = "Funding Information: Correspondence to: R. Rubinfeld, Department of Computer Science, Hebrew University, Jerusalem 91904, Israel. * This research was done while the author was at U.C. Berkeley and supported by NSF grant CCR 88-13632 and an IBM Graduate Fellowship.",
year = "1992",
month = may,
day = "11",
doi = "10.1016/0020-0190(92)90093-B",
language = "אנגלית",
volume = "42",
pages = "77--80",
journal = "Information Processing Letters",
issn = "0020-0190",
publisher = "Elsevier B.V.",
number = "2",
}