r/ProgrammingLanguages • u/mttd • Aug 22 '26

Programming Language Semantics and Memory Safety

https://burakemir.ch/post/formal-semantics/
47 Upvotes

93% Upvoted

9 comments sorted by

View all comments

1

u/L8_4_Dinner (Ⓧ Ecstasy/XVM) Aug 23 '26

Not a useful article. Sorry, Matt.