A framework for dynamic checks of C arrays via a C++ class | IEEE Conference Publication | IEEE Xplore