BOTW Directory - Computers > Programming > Languages > Erlang

Sponsor This Category Free for 60 Days - Customize your message and appear alongside search results. Start your Free Trial today!

Erlang Verification Tool - A theorem proving tool which assists in proving a programs written in Erlang that meet their requirements formulated in specification logic.
FORmally Based Tool Support for Erlang Development - A project which aims to build tools to support the working ERLANG programs.
FORSE: Formally-Based Tool Supported for Erlang Development - A joint research project with the University of Kent, Sheffield University, T-Mobile and Erlang Training & Consulting.
HiPE - An ASTEC project at the Department of Information Technology of Uppsala University, aimed at efficiently implementing concurrent programming systems using message-passing in general and the concurrent functional language Erlang in particular.
Model Checking Erlang Code - A verification of Erlang code via model checking a process algebraic abstraction.
Project Plan: Process Structure Extraction From Erlang/OTP Systems - Shows details on the project, including information of the participants, description, project objectives and other significant information.
Safe Mobile Code Using Erlang - Focuses on the design and prototyping of a secure and safe mobile code execution environment in Erlang.
UBF Home - A language for transporting and describing complex data structures across a network.