Sciweavers

IFL
2000
Springer
14 years 2 months ago
Non-determinism Analysis in a Parallel-Functional Language
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
Ricardo Pena, Clara Segura
IFL
2003
Springer
14 years 4 months ago
Correctness of Non-determinism Analyses in a Parallel-Functional Language
The presence of non-determinism in the parallel-functional language Eden creates some problems. Several non-determinism analyses have been developed to determine when an Eden expre...
Clara Segura, Ricardo Pena