A method for converting a source program having a loop including a control statement into an object program including the steps of detecting from the statements of a first loop of a source program a control statement (an inductive control statement) having a control expression; detecting based on the...http://www.google.com/patents/US4807126?utm_source=gb-gplus-sharePatent US4807126 - Method for converting a source program having a loop including a control statement into an object program