Advantageously, the specification of the Java Virtual Machine means that the program code must adhere to rules which can be directly exploited to considerably simplify the algorithms used to identify which data items, such as local variables or operand stack values, correspond to references.