Lee & Hayes, PLLC
Reliability contracts
Reliability contracts declare an intent of executable code, and may be associated with at least a portion of the executable code. The intent of the executable code in the face of particular conditions may be declared for the use in any one of a programming, execution, or testing environment.
Microsoft Corporation
G G
G06F G06F
inventional inventional
Brian M. Weiwen Rudi Mahesh Christopher W. Sean E.
Grunkemeyer Liu Martin Prakriya Brumme Trowbridge