Non-determinism analyses in a parallel-functional language

DOI10.1017/S0956796804005295MaRDI QIDQ4664063zbMATH OpenOpenAlexFDO

Authors Clara Segura, Ricardo Peña

Publication date 5 April 2005

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796804005295

zbMATH Keywords

denotational semanticsEdenmerge

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1691453
• Implementation of Functional Languages
• scientific article; zbMATH DE number 1091202
• Logic Programming
• A relational semantics for parallelism and non-determinism in a functional setting
• Safe nondeterminism in a deterministic-by-default parallel language
• Functional behavior of nondeterministic and concurrent programs
• On nondeterminism in parallel computation
• scientific article; zbMATH DE number 5007864

Cited in

(15)

• A theory for nondeterminism, parallelism, communication, and concurrency
• scientific article; zbMATH DE number 1691453 (Why is no real title available?)
• Semantic determinism and functional logic program properties
• Using Maude and its strategies for defining a framework for analyzing Eden semantics
• Implementing dynamic-cut in \(\mathcal{T}OY\)
• Using Template Haskell for abstract interpretation
• scientific article; zbMATH DE number 5007864 (Why is no real title available?)
• Functional behavior of nondeterministic and concurrent programs
• Nondeterminism with Referential Transparency in Functional Programming Languages
• A relational semantics for parallelism and non-determinism in a functional setting
• scientific article; zbMATH DE number 2086500 (Why is no real title available?)
• Encapsulating non-determinacy in an abstract data type with determinate semantics
• Safe nondeterminism in a deterministic-by-default parallel language
• Implementation of Functional Languages
• Logic Programming

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

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