Login / Signup

Implementation of an Array Bound Checker.

Norihisa SuzukiKiyoshi Ishihata
Published in: POPL (1977)
Keyphrases
  • upper bound
  • lower bound
  • implementation details
  • data mining
  • general purpose
  • programming language