Patent ID: 7603662
Filing Date: 2009-10-13
Classification: G06F

Abstract:
1. A method of converting computer readable instructions, comprising: receiving a first set of computer readable instructions in a first, verifiable computer language, said first, verifiable computer language having variables; determining the type of a converted variable for use in a second computer language that has a type determined from the operations performed by the first set of computer readable instructions; and converting the first set of computer readable instructions from the first computer language that operate on the variables in the first computer language to a second set of computer readable instructions that operate on the converted variables in the second computer language wherein the second computer language is different from the first computer language and wherein said converting comprises traversing the first set of computer readable instructions, merging local variables contained in said first set of computer readable instructions, fixing the types of the local variables and fixing the number of local variables wherein each local variable is associated with a most derived type and a least derived type and wherein merging two local variables comprises finding and selecting the most derived type within the least derived types and most derived types of said two local variables.