Slashdot is powered by your submissions, so send in your scoop


Forgot your password?
Google Java Programming

Google Brings Design-By-Contract To Java 134

Posted by Soulskill
from the putting-a-hit-out-on-bugs dept.
angry tapir writes "Google is developing a set of extensions for Java that should aid in better securing Java programs against buffer overflow attacks. Google has announced that it open sourced a project that its engineers were working on to add a new functionality into Java called Contracts, or Design-By-Contract. 'Contracts exist to check for programmer error, not for user error or environment failures. Any difference between execution with and without runtime contract checking (apart from performance) is by definition a bug. Contracts must never have side effects.'"
This discussion has been archived. No new comments can be posted.

Google Brings Design-By-Contract To Java

Comments Filter:

Slowly and surely the unix crept up on the Nintendo user ...