Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection Languages and Archit Programming LanguagesVale Programming Language 3 years ago