|
|
1. |
Erlang QuickCheck
-
Erlang/QuickCheck is a library for random testing of Erlang programs against specifications.
|
|
|
2. |
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.
|
|
|
3. |
Model checking
-
Model checking Erlang code through formal methods.
|
|
|
4. |
Project Plan: Process structure extraction from ERLANG /OTP systems
-
An ongoing research project at Uppsala University.
|
|
|
5. |
Safer Erlang
-
A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.
|
|
|
6. |
UBF
-
Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks.
|
|
|
7. |
Verification of Erlang Programs
-
A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.
|
|
|
8. |
VoDKA Project
-
The University of A Coruña is researching Video On Demand applications using Erlang.
|
|
|
9. |
A Practical Subtyping System For Erlang
-
Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.
|
|
|
10. |
FORSE
-
FORmally Based Tool Support for Erlang Development, a reearch project at the University of Sheffield.
|
|
|
11. |
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.
|
