|
UBF - Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks.
Safer Erlang - A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.
Project Plan: Process structure extraction from ERLANG /OTP systems - An ongoing research project at Uppsala University.
A Practical Subtyping System For Erlang - Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.
HiPE - High Performance Erlang is an ASTEC project at the Computing Science Department of Uppsala University, aimed at efficiently implementing the concurrent functional language Erlang.
Erlang QuickCheck - Erlang/QuickCheck is a library for random testing of Erlang programs against specifications.
Model checking - Model checking Erlang code through formal methods.
FORSE - Formally-Based Tool Support for Erlang Development, a joint research project with the University of Kent, Sheffield University, T-Mobile and Erlang Training & Consulting.
FORSE - FORmally Based Tool Support for Erlang Development, a reearch project at the University of Sheffield.
VoDKA Project - The University of A Coruña is researching Video On Demand applications using Erlang.
|