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

Ada SPARK is better than dependent types

Name: Anonymous 2015-04-06 18:54

http://electronicdesign.com/test-measurement/requiem-bug-verifying-software-part-2-formal-verification-through-spark-2014

Name: Anonymous 2015-04-07 1:04

Ada SPARK is better than languages with dependent types because it's actually used by the real word, not only by a team of circlejerking fat low iq niggers.
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 -