Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

So you want to write high integrity software?

Name: Anonymous 2014-12-22 15:49

Use SPARK

http://en.wikipedia.org/wiki/SPARK_%28programming_language%29

Name: Anonymous 2014-12-22 15:56

>>2
SPARK is even more, read the "Contract examples" section of that wikipedia link I posted above.
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -