Dictionary.net

A parallel variant of ML using skeletons being developed(April 1994) as part of Tore Bratvold's PhD in the Departmentof Computing and Electronic Engineering, Heriot-WattUniversity, Edinburgh, UK. Programs are written in a subsetof Standard ML, and parallelism is extracted from the use ofcertain higher-order functions. The SkelML compiler usesprofiling information together with skeleton performancemodels to distinguish useful from non-useful parallelism. Animportant feature is the ability to perform transformationsbetween skeletons to improve performance. Skeletons currentlysupported are map, filter, fold, pipe (implicitly extractedfrom function application) and various combinations of these.See also paraML.E-mail: Tore A Bratvold .