|
 Directories
|
Top > Computers >
Programming >
Languages >
Erlang >
Research
|
|
|
A Practical Subtyping System For Erlang
Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.
Project Plan: Process structure extraction from ERLANG /OTP systems
An ongoing research project at Uppsala University.
VoDKA Project
The University of A Coruña is researching Video On Demand applications using Erlang.
Erlang QuickCheck
Erlang/QuickCheck is a library for random testing of Erlang programs against specifications.
FORSE
Formally-Based Tool Support for Erlang Development, a joint research project with the University of Kent, Sheffield University, T-Mobile and Erlang Training and Consulting.
Model checking
Model checking Erlang code through formal methods.
FORSE
FORmally Based Tool Support for Erlang Development, a reearch project at the University of Sheffield.
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.
Verification of Erlang Programs
A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.
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.
|
|
|
|
|
|
 Sponsor
|
|
|
|
|
Internet Tools
Feature Sites