Pages that link to "Item:Q5466589"
From MaRDI portal
The following pages link to Implementation of Functional Languages (Q5466589):
Displaying 6 items.
- Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
- Correctness of static flow analysis in continuation semantics (Q808721) (← links)
- Semantic Correctness for a Parallel Object-Oriented Language (Q3474904) (← links)
- Functional behavior of nondeterministic and concurrent programs (Q3719800) (← links)
- Non-determinism analyses in a parallel-functional language (Q4664063) (← links)
- (Q4886262) (← links)