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

Pages: 1-

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: Ada 2012 Fanboy 2014-12-22 15:53

Ada is beautiful.

Name: Anonymous 2014-12-22 15:56

>>2
SPARK is even more, read the "Contract examples" section of that wikipedia link I posted above.

Name: Anonymous 2014-12-22 16:10

>>3

""

ebin quotation marks /g/roski

Name: Anonymous 2014-12-22 16:51

>>3
doesn't one end up writing the program twice?

Name: Anonymous 2014-12-22 17:13

>>4
Le faggot quotes

Name: Anonymous 2014-12-22 17:25

>>6
Les quotes des fagots.

Name: Anonymous 2014-12-22 19:55

>>7

Das homo zitate.

Name: Anonymous 2014-12-22 20:01

>>8
ゲイの引証

Name: Anonymous 2014-12-22 20:31

>>5
The example was kinda simple.

Name: Anonymous 2014-12-23 18:41

>>9
Faggot writing system!

Name: Anonymous 2014-12-23 20:24

>>11
Nice dubs.

Name: Anonymous 2014-12-23 20:27

>>12
Thx.

Name: Anonymous 2014-12-25 20:17

Have you read your TAPL today?

So you want to write high integrity software?

1 Name: Anonymous 2014-12-22 15:49

2 Name: Ada 2012 Fanboy 2014-12-22 15:53

3 Name: Anonymous 2014-12-22 15:56

4 Name: Anonymous 2014-12-22 16:10

5 Name: Anonymous 2014-12-22 16:51

6 Name: Anonymous 2014-12-22 17:13

7 Name: Anonymous 2014-12-22 17:25

8 Name: Anonymous 2014-12-22 19:55

9 Name: Anonymous 2014-12-22 20:01

10 Name: Anonymous 2014-12-22 20:31

11 Name: Anonymous 2014-12-23 18:41

12 Name: Anonymous 2014-12-23 20:24

13 Name: Anonymous 2014-12-23 20:27

14 Name: Anonymous 2014-12-25 20:17