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.

• Type: Conference
• Year: 2000
• Where: IFL
• Authors: Ricardo Pena, Clara Segura
• Keywords: Abstract Interpretation, Formal Methods, IFL 2000, Non-deterministic Expressions, Parallel-functional Language Eden