Patent Document ID: 7574700
Application ID: 11096933

Base Claim:
1. A computer-implemented method comprising: prior to executing a typed assembly language program that contains a particular instruction that invokes a programmatic method when executed, one or more processors performing steps comprising: determining whether the particular instruction is a particular kind of instruction; if the particular instruction is of the particular kind, then refraining from checking, prior to execution of the assembly language program, types of arguments that will be on a stack when the particular instruction is executed, and executing the assembly language program, including the particular instruction, unless an object relative to which the programmatic method is to be invoked will not be on the stack when the particular instruction is executed; if the particular instruction is not of the particular kind, then checking, prior to execution of the assembly language program, the types of the arguments that will be on the stack when the particular instruction is executed, and if the types of the arguments do not match types of formal parameters that are associated with the programmatic method, then preventing the assembly language program from being executed; and during execution of the assembly language program, if the particular instruction is of the particular kind, then checking, during execution of the assembly language program, the types of the arguments that are on the stack when the particular instruction is to be executed, and if the types of the arguments do not match the types of the formal parameters that are associated with the programmatic method, then preventing the particular instruction from being executed.

---

Claim 4:
4. The method of claim 1 , wherein the steps further comprise: if the particular instruction is of the particular kind, then determining, prior to execution of the assembly language program, whether an object relative to which the programmatic method is to be invoked will be on the stack when the particular instruction is executed, and if the object will not be on the stack when the particular instruction is executed, then preventing the assembly language program from being executed.