6. The method of claim 1 , wherein the one or more rules include one or more of the following: preconditions, postconditions, lock declarations, checked exceptions, usage protocols and object invariants.
6. The method of claim 1 , wherein the one or more rules include one or more of the following: preconditions, postconditions, lock declarations, checked exceptions, usage protocols and object invariants. 7. The method of claim 6 , wherein the one or more rules comprises a pre-condition to the method of the first class, and wherein the act of executing the intermediate language code comprises executing the method of the contract class upon entering the method of the first class to verify that one or more parameters of the method of the first class meet one or more conditions specified in the pre-condition.