Pages that link to "Item:Q3976061"
From MaRDI portal
The following pages link to Relating full abstraction results for different programming languages (Q3976061):
Displaying 6 items.
- The sequentially realizable functionals (Q1849853) (← links)
- Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
- Densities of almost surely terminating probabilistic programs are differentiable almost everywhere (Q2233472) (← links)
- Comparing abstraction refinement algorithms (Q2845498) (← links)
- (Q4040912) (← links)
- Game theoretic analysis of call-by-value computation (Q4571955) (← links)