12 search results - page 3 / 3 » Coalgebraic Semantics for Parallel Derivation Strategies in ... |
CONCUR
2007
Springer
14 years 13 days ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
CAP
2010
13 years 1 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...