Pages that link to "Item:Q4664063"
From MaRDI portal
The following pages link to Non-determinism analyses in a parallel-functional language (Q4664063):
Displaying 10 items.
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- Semantic determinism and functional logic program properties (Q2864514) (← links)
- Using Maude and its strategies for defining a framework for analyzing Eden semantics (Q2866804) (← links)
- Implementing dynamic-cut in \(\mathcal{T}OY\) (Q2873795) (← links)
- Using Template Haskell for abstract interpretation (Q2873799) (← links)
- (Q3372485) (← links)
- Functional behavior of nondeterministic and concurrent programs (Q3719800) (← links)
- Nondeterminism with Referential Transparency in Functional Programming Languages (Q3792225) (← links)
- Implementation of Functional Languages (Q5466589) (← links)