Bounds-checking elimination

#	Item
1	The Design and Implementation of a Certifying Compiler George C. Necula Peter Lee School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213{3891 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:07 Compiler construction Programming language implementation Computer errors Program analysis Data types Compiler Bounds-checking elimination C Aliasing Computing Software engineering Software