资料来源 : Free On-Line Dictionary of Computing

Skel-ML
     
        A parallel variant of {ML} using {skeleton}s being developed
        (April 1994) as part of Tore Bratvold's PhD in the Department
        of Computing and Electronic Engineering, Heriot-Watt
        University, Edinburgh, UK.  Programs are written in a subset
        of {Standard ML}, and parallelism is extracted from the use of
        certain {higher-order function}s.  The SkelML compiler uses
        profiling information together with skeleton performance
        models to distinguish useful from non-useful parallelism.  An
        important feature is the ability to perform transformations
        between skeletons to improve performance.  Skeletons currently
        supported are map, filter, fold, pipe (implicitly extracted
        from function application) and various combinations of these.
     
        See also {paraML}.
     
        E-mail: Tore A Bratvold .