2 ms·
Having built in pre/post conditions is pretty nice.
by asimpletune 8y ago
Having built in pre/post conditions is pretty nice.
- johnisgood 8y agoYou might want to look into Ada and SPARK. It allows constraint-based programming, formal verification to verify your program's correctness, and so on. https://www.adacore.com/about-spark https://www.adacore.com/about-spark https://en.wikibooks.org/wiki/Ada_Programming/Contract_Based_Programming https://en.wikibooks.org/wiki/Ada_Programming/Contract_Based... https://www.adacore.com/gems/gem-31 https://www.adacore.com/gems/gem-31 https://www.adacore.com/uploads/books/pdf/AdaCore-Tech-Cyber-Security-web.pdf https://www.adacore.com/uploads/books/pdf/AdaCore-Tech-Cyber... On top of that, Ada was designed with parallel programming in mind as well, so there are language constructs built in to make your job easier.