MetaDirectory
» Start » Languages » Erlang » Research
|
- Erlang QuickCheck
Erlang/QuickCheck is a library for random testing of Erlang programs against specifications. - FORSE
FORmally Based Tool Support for Erlang Development, a reearch project at the University of Sheffield. - 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. - 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. - Model checking
Model checking Erlang code through formal methods. - 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. - Safer Erlang
A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang. - UBF
Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks. - Verification of Erlang Programs
A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.
|