<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5864</REFNUM><AUTHORS><AUTHOR>Goodman,J.</AUTHOR><AUTHOR>O'Donnell,J.T.</AUTHOR></AUTHORS><YEAR>2001</YEAR><TITLE>Introduction of static load balancing in incremental parallel programming</TITLE><PLACE_PUBLISHED>Proceedings of Euro-Par 2001 Parallel Processing, Lecture Notes in Computer Science, pp. 535-539, vol. 2150 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>535-539</PAGES><LABEL>Goodman:2001:5864</LABEL><KEYWORDS><KEYWORD>parallel; functional; formal; incremental derivation</KEYWORD></KEYWORDS<ABSTRACT>Formal program transformation in a functional language can be used to support incremental design of parallel programs. This paper illustrates the method with a detailed example: a program transformation that improves the static load balance of a simple data parallel program. </ABSTRACT><URL>http://link.springer.de/link/service/series/0558/tocs/t2150.htm</URL></RECORD></RECORDS></XML>