Batch checking with applications to linear functions

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)77-80
Number of pages4
JournalInformation Processing Letters
Issue number2
StatePublished - 11 May 1992
Externally publishedYes


  • Design of algorithms
  • program correctness


Dive into the research topics of 'Batch checking with applications to linear functions'. Together they form a unique fingerprint.

Cite this