Presentations

2003

An explanation Reasoning Procedure Applicable to Loop Transformation in Compiler

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