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.