2003年 An explanation Reasoning Procedure Applicable to Loop Transformation in Compiler ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03