ABCD: Eliminating array bounds checks on demandRastislav BodíkRajiv Guptaet al.2000SIGPLAN Notices (ACM Special Interest Group on Programming Languages)