3 ms·
Ada/SPARK allows formal verification of many more properties than just memory safety. Ada on its own does not have the same kind of memory safety guarantees as
by rcxdude 5y ago
Ada/SPARK allows formal verification of many more properties than just memory safety. Ada on its own does not have the same kind of memory safety guarantees as rust though.
- Quekid5 5y ago(I have no horse in this race, just curious.) Are there any non-proprietary implementations of Ada/SPARK which don't place limitations on the compiler output?
- MaxBarraclough 5y agoApparently [0][1] the FSF distribution of GNAT permits development of non-GPL software. [0] https://news.ycombinator.com/item?id=24492653 https://news.ycombinator.com/item?id=24492653 [1] https://old.reddit.com/r/ada/comments/3989f4/gnat_gpl_restrictions/ https://old.reddit.com/r/ada/comments/3989f4/gnat_gpl_restri...
- Quekid5 5y agoI was asking the opposite question, I think. I know of GNAT, but I was asking whether there's any Ada/Spark that has a GPL (or whatever non-proprietary) license.