2 ms·
I don't see anything about safety for dynamic, memory management in that link. It just talks about correctness. I'm specifically wanting affine types and owners
by nickpsecurity 10y ago
I don't see anything about safety for dynamic, memory management in that link. It just talks about correctness. I'm specifically wanting affine types and ownership system that let SPARK go from static to dynamic.
I do like them splitting it into several levels, though. That worked under Orange Book for security.
- pjmlp 10y agoAdaCore hired the guy that designed ParaSail, however the language development is a bit slow. https://forge.open-do.org/plugins/moinmoin/parasail/FrontPage https://forge.open-do.org/plugins/moinmoin/parasail/FrontPag...
- nickpsecurity 10y agoIn case you're interested in details on this development: https://news.ycombinator.com/item?id=14346032 https://news.ycombinator.com/item?id=14346032
- touisteur 10y agoMy bad, slides are not available yet... There's a mention in there about some rust-like ownership proof mechanism in their roadmap. I thought about our last exchange on SPARK & rust when I saw this :-).