the entire directory only in Erlang/Research

• A Practical Subtyping System For Erlang - Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.
• 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.
• 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.

Usenet comp.distributed - news: - Google Groups
Usenet comp.lang.functional - news: - Google Groups

"Research" search on:   AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Copyright © 2012 Netscape Terms of Use