14. The volatile or non-volatile computer-readable medium of claim 8 , wherein the assembly language program comprises Java bytecodes.
8. A volatile or non-volatile computer-readable medium carrying one or more sequences of instructions, which instructions, when executed by one or more processors, cause the one or more processors to carry out the steps of: prior to executing a typed assembly language program that contains a particular instruction that invokes a programmatic method when executed, performing particular 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.