Dissemination Level

PP Restricted to other programme participants (including the Commission Services) RE Restricted to a group specified by the consortium (including the Commission Services) CO Confidential, only for members of the consortium (including the Commission Services) Executive Summary Work package 4 aims to develop the methodology as well as the tool support for a complete refactoring transformation system, which can rewrite sequential reali-sations of the ParaPhrase patterns into parallel equivalents semi-automatically (i.e. under programmer’s control). The final code is a result of a complex process com-posed of pattern discovery, candidate assessment and refactoring transformation, and it should be a semantically equivalent, but structured parallel program. In Task 4.3, ELTE and ELTE-Soft have worked on i) finding the proper abstraction levels and suitable notations for defining refactoring transformation rules formally, and ii) defining the refactoring transformations needed for transforming typical se-quential implementations of patterns into instances of the parallel skeletons. A key aspect of this task was to identify and formalise the pre- and post-conditions unde