Research Areas of Rita Loogen

Selected Papers

Parallel Functional Programming

The Eden Project

Integration of Functional and Logic Programming Languages

Parallel Implementation of Functional Languages

Due to their side effect free nature, functional programs contain implicit parallelism, which consists of independent subexpressions that can be evaluated in parallel. In lazy functional languages, one has to take into account that only subexpressions, whose result is necessary for the overall computation, may be evaluated. So, one has to use some analysis to determine the demanded subexpressions of a program. In general, strictness analysis is proposed for that purpose, because demanded subexpressions are always strict arguments of their context.