Abstract reduction operation models in the LIME programming model