Wectar - Computers - Programming - Languages - Erlang - Research

	submit a site to this category

Subcategories
Conference Proceedings@	Ports and Compilers@

	Project Plan: Process structure extraction from ERLANG /OTP systems URL: http://user.it.uu.se/~jann/grad-plan/project_plan/ ODP description: An ongoing research project at Uppsala University. Page description: Project Plan: Process structure extraction from ERLANG /OTP systems
	Erlang QuickCheck URL: http://www.cs.chalmers.se/~rjmh/ErlangQC/ ODP description: Erlang/QuickCheck is a library for random testing of Erlang programs against specifications.
	FORSE URL: http://www.dcs.shef.ac.uk/~qiang/forse/forse.htm ODP description: FORmally Based Tool Support for Erlang Development, a reearch project at the University of Sheffield. Page title: FORSE - FORmally - Based Tool Support for Erlang Development
	Verification of Erlang Programs URL: http://www.sics.se/fdt/projects/vericode/evt.html ODP description: A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language. Page title: Erlang Verification Tool
	UBF URL: http://www.sics.se/~joe/ubf/site/home.html ODP description: Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks. Page title: Site
	A Practical Subtyping System For Erlang URL: http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html ODP description: Wadler's type system for Erlang developed at Glasgow University with Simon Marlow. Page title: Wadler: Erlang
	Model checking URL: http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html ODP description: Model checking Erlang code through formal methods. Page title: Model checking Erlang code
	Safer Erlang URL: http://www.unsw.adfa.edu.au/~lpb/research/sserl/ ODP description: A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.
	HiPE URL: http://www.it.uu.se/research/group/hipe/ ODP description: High Performance Erlang is an ASTEC project at the Computing Science Department of Uppsala University, aimed at efficiently implementing the concurrent functional language Erlang. Page title: High-Performance Erlang
	FORSE URL: http://www.cs.kent.ac.uk/projects/forse/ ODP description: 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. Page title: FORSE: Formally-Based Tool Support for Erlang Development>