Department of Information Technology.

Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000

The Dialyzer is a static analysis tool that identifies software discrepancies such as type errors, unreachable code, redundant tests, virtual machine bytecode which is unsafe in single Erlang modules or entire applications.

Research project, goal: efficiently implement the concurrent functional language Erlang; now part of Ericsson Erlang/OTP system. Open source. Uppsala University.

An intermediate representation of Erlang, intended to lie at a level between source code and the intermediate code typically found in compilers.

Richard Carlsson. Department of Information Technology, Uppsala University.

Mikael Pettersson. Department of Information Technology, Uppsala University.

Uppsala University has had many theses written on Erlang.

High Performance Erlang is an ASTEC project at the Computing Science Department of Uppsala University, aimed at efficiently implementing the concurrent functional language Erlang.