1. A method of converting computer readable instructions, comprising: receiving a set of computer readable instructions in a first, verifiable computer language; determining the type of a converted variable for use in the second computer language that has a type determined from the operations performed by the first set of computer readable instructions; and converting the 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 a second computer language.