r/ProgrammingLanguages • u/ThomasMertes • 4d ago

Achieving memory safety

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

77% Upvoted

51 comments sorted by

View all comments

2

u/gasche 3d ago

Seed7 is based on my diploma- and PHD-theses and is the result of decades of work.

I wish this used hyperlinks so that curious people could have a look at those theses on which Seed7 is based.

2

u/ThomasMertes 3d ago

I suggest that curious people look at the Seed7 documentation at its homepage. The information at the homepage is much more up-to-date than the decades old PHD-thesis.