this article brought me back to http://www.pl-enthusiast.net/2014/07/21/memory-safety/
true, I don’t see any definitions of memory safety in “Defining the memory safe problem” , but a more detailed discussion of memory safety is in the other article http://www.pl-enthusiast.net/2014/07/21/memory-safety/
thanks! but i can’t access the site (certificate expired some certificate related error, then, page not found). I’ll try again later