Non-determinism Analysis in Eden
Speaker: Professor Ricardo Pena
Time: Monday 24th July 2000, at 15.15
Place: Room 2.33
Abstract:
Eden is a parallel extension of Haskell and provides a non-deterministic
predefined process merge which fairly interleaves several input lists into
a single non-deterministic output list. It has been implemented by modifying
the Glasgow Haskell Compiler. This decision has saved a lot of work but
has also produced some drawbacks: some optimizing transformations done
by GHC are not correct in a non-deterministic environment and they should
be disallowed. Two analyses based on abstract interpretation aimed at detecting
non deterministic expressions are presented.