講演・口頭発表等

2003年

An explanation Reasoning Procedure Applicable to Loop Transformation in Compiler

ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03