Saturday, June 21, 2003 [Tweets] [Favorites]

Types in Microsoft Office

Daniel Weise has gotten Microsoft’s Office group to use code annotations and domain specific checkers to catch bugs. His buffer overrun detector uses a dependent type system based on those annotations to turn buffer overruns into type errors.


Stay up-to-date by subscribing to the Comments RSS Feed for this post.

Leave a Comment