谷歌带来的设计，由合约的爪哇

有趣的看新闻 http://rss.slashdot.org/~r/Slashdot/slashdot/~3/DRvorY_pOQg/Google-Brings-Design-By-Contract-To-Java:
愤怒的貘写道：“谷歌正在开发一个用于Java的扩展集，应该有助于更好地保护Java防止缓冲区溢出攻击程序。谷歌已经宣布，它的开源项目，它的工程师们工作到Java添加新的功能称为合同或设计由合同。'合同存在编程错误检查，而不是为用户错误或环境的失败。执行之间的任何合同和没有运行时检查的区别（除了性能）在定义一个错误。合同肯定没副作用。“

阅读这个故事更在Slashdot。