Dynamic enforcement of determinism in a parallel scripting language

Swift: A language for distributed parallel scripting

Scientists, engineers, and statisticians must execute domain-specific application programs many times on large collections of file-based data. This activity requires complex orchestration and data management as data is passed to, from, and among application invocations. Distributed and parallel computing resources can accelerate such processing, but their use further increases programming compl...

Correctness of Non-determinism Analyses in a Parallel-Functional Language

Non-determinism Analysis in a Parallel-Functional Language

The paper presents several analyses to detect non-determin-istic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and then each one is presented. The rst one is type-based, while the other two are based on abstract interpretation. Their power and eeciency is discussed, and an example is used to illustrate the diierences. Two interesting functi...

Non-determinism analyses in a parallel-functional language

The parallel-functional language Eden has a non-deterministic construct, the process abstraction merge, which interleaves a set of input lists to produce a single non-deterministic list. Its non-deterministic behaviour is a consequence of its reactivity: it immediately copies to the output list any value appearing at any of the input lists. This feature is essential in reactive systems and very...

the role of application of dynamic assessment approach in improvement of iranian efl writing performance at different language proficiency levels

the present study sought to investigate the role of dynamic assessment (da) in improvement of iranian efl writing performance at different language proficiency levels. to this end, after conducting the quick placement test, 60 iranian efl learners were assigned to two groups with different language proficiency levels. in both groups each participant wrote two compositions, one before and one af...