Techniques and tools for implementing a source code annotation language are described. In one aspect, keywords are added to a function interface to define a contract for the function independent of function call context. In another aspect, annotations are inserted at global variables, formal parameters,...http://www.google.com/patents/US20050076331?utm_source=gb-gplus-sharePatent US20050076331 - Source code annotation language
