Introducing Parallelism in a Lazy Functional Language

Interpretation - Combinator Systems . . . . . . . . 13 2.2.6 Backward Analysis . . . . . . . . . . . . . . . . . . . . . . . . 14 2.2.7 Evaluation transformers . . . . . . . . . . . . . . . . . . . . . 18 2.3 Granularity of Parallelism . . . . . . . . . . . . . . . . . . . . . . . . 20 2.3.1 Serial Combinators . . . . . . . . . . . . . . . . . . . . . . . . 20 2.3.2 Complexity Analysis . . . . . . . . . . . . . . . . . . . . . . . 21 2.3.3 Strictness Analysis Applied to Time Analysis . . . . . . . . . 21 2.3.4 Using Type Information to Derive Time Information . . . . . 25 2.4 Parallel Simulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.4.1 HBC-PP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.4.2 GranSim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.5 Summary and Conclusions . . . . . . . . . . . . . . . . . . . . . . . . 30 2.5.1 Strictness Analysis . . . . . . . . . . . . . . . . . . . . . . . . 30 2.5.2 Granularity Analysis . . ..