Batch checking with applications to linear functions

Research output: Contribution to journalArticlepeer-review

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.

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

Keywords

  • Design of algorithms
  • program correctness

Fingerprint

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

Cite this