Batch checking with applications to linear functions
type: Item
instance of: scholarly article
title: Batch checking with applications to linear functions
zbMATH Open document ID: 0780.68092
DOI: 10.1016/0020-0190(92)90093-B
author: Ronitt Rubinfeld
published in: Information Processing Letters
publication date: 1993-01-16T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 92096
zbMATH Keywords: design of algorithms
zbMATH Keywords: program correctness
zbMATH Keywords: batch checking
zbMATH Keywords: linear functions
MaRDI profile type: Publication
cites work: Designing programs that check their work
cites work: Checking the correctness of memories
cites work: Q4195937
full work available at URL: 0020-0190(92)90093-b
OpenAlex ID: W1972300923
Recommended article: Functional checking of some types of linear sequential machines
Recommended article: A self-tester for linear functions over the integers with an elementary proof of correctness
Recommended article: Checking approximate computations of polynomials and functional equations
Recommended article: Programming Languages and Systems
Recommended article: A unified framework for testing linear‐invariant properties
Recommended article: Q3355236
Recommended article: Computing linearizations using test sets
Recommended article: Linearity testing using local polynomial approximation
description: scientific article; zbMATH DE number 92096