Hacker News Reader

well, yes, because those languages can statically or dynamically guarantee that behaviour that would be UB in C or C++ doesn't happen.

Usually it means GC, bound checking and no pointer forging.

I am counting languages since 1958 starting with JOVIAL, many of which did not had GC.

Plenty of literature on the matter, some retro computing fun, or using some of the survivors in modern platforms, for example Ada.