Google Directory - Computers > Programming > Languages > Erlang



Directory

Directory Help
Search only in ResearchSearch the Web

Research

Computers > Programming > Languages > Erlang > Research

Go to Directory Home

Categories

Conference Proceedings (39)
Ports and Compilers (10)

Web Pages

Viewing in Google PageRank order View in alphabetical order

	Verification of Erlang Programs - http://www.sics.se/fdt/projects/vericode/evt.html A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.
	HiPE - http://www.it.uu.se/research/group/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 - http://www.cs.chalmers.se/~rjmh/ErlangQC/ Erlang/QuickCheck is a library for random testing of Erlang programs against specifications.
	FORSE - http://www.dcs.shef.ac.uk/~qiang/forse/forse.htm FORmally Based Tool Support for Erlang Development, a reearch project at the University of Sheffield.
	VoDKA Project - http://vodka.lfcia.org/ The University of A Coruña is researching Video On Demand applications using Erlang.

	Model checking - http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html Model checking Erlang code through formal methods.
	Safer Erlang - http://www.unsw.adfa.edu.au/~lpb/research/sserl/ A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.
	UBF - http://www.sics.se/~joe/ubf/site/home.html Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks.
	Project Plan: Process structure extraction from ERLANG /OTP systems - http://user.it.uu.se/~jann/grad-plan/project_plan/ An ongoing research project at Uppsala University.
	A Practical Subtyping System For Erlang - http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.

FORSE - http://www.cs.kent.ac.uk/projects/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.

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor