u Clay [263]
One way that safe languages work is by using runtime checks to provide
memory safety. Such checks are made for many different properties such as array
bounds checking, null pointerreferences, and type conversions. Some of them also