Sciweavers

Share
IFL
2000
Springer

Non-determinism Analysis in a Parallel-Functional Language

10 years 3 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 then each one is presented. The first one is type-based, while the other two are based on abstract interpretation. Their power and efficiency is discussed, and an example is used trate the differences. Two interesting functions to adapt abstract values to types appear, and they happen to be a Galois insertion.
Ricardo Pena, Clara Segura
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where IFL
Authors Ricardo Pena, Clara Segura
Comments (0)
books