If you read the independent claims, they have not patented the formula by itself. Claim 1: A system for determining if two operands point to different locatio

If you read the independent claims, they have not patented the formula by itself. Claim 1: A system for determining if two operands point to different locations in memory, the ... Claim 15: A method for producing executable code for performing ... Claim 21: A computer-readable medium comprising computer-executable instructions for ... Dependent claims by definition include at least one of the above. PS: I am not a lawyer. Never have been.