active sites directory

Active Sites Directory is a free directory which covers a large variety of sites organized by category. Browse thousands of web sites that are more focused on one particular aspect of Computers, Programming, Languages, Erlang, Research with just the click of your mouse.

Top: Computers: Programming: 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.

Help build the largest human-edited directory on the web. Submit a site - Open Directory Project - Become an Editeur

Copyright © Active Sites Directory

SKI | Hotels Booking | Vacances