Events

You are welcome to attend a presentation on the Dialyzer tool by Tobias Lindahl, member of the HiPE group at Uppsala University. The tool, which since the realease of Erlang/OTP R11-B is part of the OTP distribution, performs a number of statical analysis to identify software discrepancies such as obvious type errors, unreachable code, redundant test and much more. The presentation will be focused on the analysis and its theoretical underpinings. The presentation starts at 10.00 in the conference room of our Uppsala offices. Contact us for more details if you are interested in attending.