Web Site Information :.

• Site Info
• Whois
• Traceroute
• RBL Check
• What's My IP?

Top / Computers / Programming / Languages / Erlang / Research /

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