[1] : The Free On-line Dictionary of Computing (27 SEP 03)

skel-ml
     
        a parallel variant of ml using skeletons 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 functions.  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 .
     
     
see also:
ml skeleton standard ml higher-order function paraml 

Skel-Ml >> S Words
Skel-Ml, definition of term: Skel-Ml
skel-ml_pag1.html