Slashdot Mirror

← Back to Users

User: reubgr

reubgr's activity in the archive.

Stories
0
Comments
1
First seen
Last seen
Profile
(view on slashdot.org)

Comments · 1

  1. design by contract: D Programming Language on High Integrity Software · · Score: 1

    The D programming language has design by contract. It seems pretty similar to the SPARK idea...

    Check this out.

    It's part of a presentation that can be found here


    -Reuben