YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
www.yurtseven.org
 www.yurtseven.org
 

 
 Computers » Programming » Languages » Erlang » Research


 Categories

Conference Proceedings (44) Ports and Compilers (9)  

 Web Pages    1 - 10   of   10


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/

[more pages from this URL] 


Erlang/QuickCheck is a library for random testing of Erlang programs against specifications.

http://www.cs.chalmers.se/~rjmh/ErlangQC/

[more pages from this URL] 


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/

[more pages from this URL] 


Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.

http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html

[more pages from this URL] 


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

[more pages from this URL] 


 6 - Safer Erlang Browse Website open in new window
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/

[more pages from this URL] 


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

[more pages from this URL] 


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

[more pages from this URL] 


 9 - Model checking Browse Website open in new window
Model checking Erlang code through formal methods.

http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html

[more pages from this URL] 


An ongoing research project at Uppsala University.

http://user.it.uu.se/~jann/grad-plan/project_plan/

[more pages from this URL] 



Easy Web Admin


Add URL  |  My Listings  |  My Account  |  New Membership  |  Contact