Non-determinism analysis in a parallel-functional language

DOI10.1007/3-540-45361-X_1MaRDI QIDQ2763373zbMATH OpenFDO

Authors Clara Segura, Ricardo Peña

Publication date 15 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2011/20110001

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Review text

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 to illustrate the differences. Two interesting functions to adapt abstract values to types appear, and they happen to be a Galois insertion. For the entire collection see [Zbl 0977.68824].

Recommendations

• Non-determinism analyses in a parallel-functional language
• Implementation of Functional Languages
• Logic Programming
• Nondeterminism with Referential Transparency in Functional Programming Languages
• A fully abstract semantics for a higher-order functional language with nondeterministic computation

Cited in

(6)

• scientific article; zbMATH DE number 3876562 (Why is no real title available?)
• Functional behavior of nondeterministic and concurrent programs
• A relational semantics for parallelism and non-determinism in a functional setting
• Non-determinism analyses in a parallel-functional language
• Non-speculative and upward invocation of continuations in a parallel language
• Implementation of Functional Languages

This page was built for publication: Non-determinism analysis in a parallel-functional language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763373)