Home > slashdot > Google Brings Design-By-Contract To Java

Google Brings Design-By-Contract To Java

February 11th, 2011 02:59 admin Leave a comment Go to comments

Google

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.’”

Source: Google Brings Design-By-Contract To Java

Related Articles:

  1. Oracle Claims Google ‘Directly Copied’ Our Java Code
  2. Google Apps Beats Office 365 For US Dept. of the Interior Contract
  3. Washinton AG Slams T-Mobile Over Deceptive ‘No-Contract’ Ads
  4. Washington AG Slams T-Mobile Over Deceptive ‘No-Contract’ Ads
  5. Jury Rules Google Violated Java Copyright, Google Moves For Mistrial
blog comments powered by Disqus
YOYOYOOYOYOYO