Exploiting parallelism by customizing evaluation
Document typeConference report
PublisherUniversidad Complutense de Madrid (UCM)
Rights accessOpen Access
NiMo is a totally graphic language from the family of Higher Order Typed languages with a strong Data flow inspiration. The interpreter is a specialized graph transformation system, and therefore the language operational semantics is given in terms of graph transformations. In NiMo parallelization is implicit and the evaluation policy is customizable following a process-centered approach. Here we explore some of the methodological possibilities that it opens. Some classical examples illustrate how combining modes greatly increases processor usage, decreases channel population, and achieves subnet synchronization in a very easy and intuitive way. We also present a stream programming technique and a real case application for generative and multistage-programming.
CitationClerici, S.; Zoltan, A. Exploiting parallelism by customizing evaluation. A: International Symposium on Trends in Functional Programming. "TFP 2011: Draft Proceedings of the 12th International Symposium on Trends in Functional Programming: Madrid, Spain. May 16th-18th, 2011". Madrid: Universidad Complutense de Madrid (UCM), 2011, p. 220-235.