Erlang Programming Research

• Conference Proceedings@
• Ports and Compilers@

• Erlang Verification Tool  - A theorem proving tool which assists in proving a programs written in Erlang that meet their requirements formulated in specification logic.
• 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.