Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Bounds checking

Known as: Bounds check, Index checking, Range check 
In computer programming, bounds checking is any method of detecting whether a variable is within some bounds before it is used. It is usually used to… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Chemical reaction networks (CRNs) and DNA strand displacement systems (DSDs) are widely-studied and useful models of molecular… Expand
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Attacks that exploit out-of-bounds errors in C and C++ programs are still prevalent despite many years of research on bounds… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The problem of enforcing correct usage of array and pointer references in C and C++ programs remains unsolved. The approach… Expand
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
It is infeasible for a sensor database to contain the exact value of each sensor at all points in time. This uncertainty is… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
To guarantee typesafe execution, Java and other strongly typed languages require bounds checking of array accesses. Because array… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Two-dimensional binary patterns that satisfy one-dimensional (d, k) run-length constraints both horizontally and vertically are… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
For original paper see IEEE Trans. Signal Processing, vol.39, p.749-52 (March 1991). Different expressions for the Cramer-Rao… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper presents a new approach to enforcing array bounds and pointer checking in the C language Check ing is rigorous in the… Expand
  • figure I
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We have designed and implemented a type-based analysis for proving some basic properties of reactive systems. The analysis… Expand
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
1996
Highly Cited
1996
AbstractWe prove the existence of global solutions to the Euler equations of compressible isentropic gas dynamics with… Expand
Is this relevant?