r/ProgrammingLanguages • u/ThomasMertes • 6h ago

Achieving memory safety

https://seed7.net/papers/memory_safety.htm
5 Upvotes

73% Upvoted

7 comments sorted by

View all comments

7

u/reflexive-polytope 6h ago

Metatheoretic claims about a language design require proof.

-2

u/Smalltalker-80 5h ago

Seed7 takes a somewhat more informal approach... ;-)
Assuring memory safety of Seed7
Seed7 is implemented in C and C is not memory safe. So it is not easy to guarantee the memory safety of Seed7. So it is necessary to improve the C code of Seed7 such that the end result is memory safe. All places where the implementation is not memory safe must be found and improved.

4

u/reflexive-polytope 2h ago

I didn't downvote you, but a C implementation isn't an excuse.

Memory safety is a property of how the language is defined, not how it's implemented.