Non-determinism analyses in a parallel-functional language
From MaRDI portal
Recommendations
- Non-determinism analysis in a parallel-functional language
- Correctness of non-determinism analyses in a parallel-functional language
- 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
- Non-determinism analysis in a parallel-functional language
- 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
- A polynomial-cost non-determinism analysis
- Encapsulating non-determinacy in an abstract data type with determinate semantics
- Safe nondeterminism in a deterministic-by-default parallel language
- Correctness of non-determinism analyses in a parallel-functional language
- 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)
