Comment design by contract: D Programming Language (Score 1) 238
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
Check this out.
It's part of a presentation that can be found here
-Reuben
