YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
Yurtseven.ORG
 Yurtseven.ORG
     
HOME Programming Programming Languages Languages Erlang Erlang Conferences Conferences Proceedings Proceedings
 
Sort by Sort by          Date Sort by       Alphabetical Sort by

Showing  30 - 40  of total  44  results  [ 0.244  seconds ]  


 
 31 - Development of a Verified Erlang Program for Resource Locking Browse Website open in new window
    
  07-January-2012 
Thomas Arts and Clara Benac Earle. 6th International Workshop on Formal Methods for Industrial Critical Systems, Paris. (ps)


[more pages from this URL] 


 
 32 - Exploiting Sequential Libraries on a Cluster of Computers Browse Website open in new window
    
  07-January-2012 
Miguel Barreiro, Jose Luis Freire, Victor M Gulias and Juan J Sanchez. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)


[more pages from this URL] 


 
 33 - The Concurrent Functional Programming Language Erlang - An Overview Browse Website open in new window
    
  07-January-2012 
Dan Sahlin. Workshop of Multi-Paradigm Logic Programming, in conjunction with the Joint International Conference and Symposium on Logic Programming, Bonn. (ps.gz)


[more pages from this URL] 


 
 34 - Linear Scan Register Allocation in the HiPE compiler. Browse Website open in new window
    
  07-January-2012 
Erik Johansson and Konstantinos Sagonas. Precented at the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel.


[more pages from this URL] 


 
 35 - Verification of Erlang programs using abstract interpretation and model checking Browse Website open in new window
    
  07-January-2012 
Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris.


[more pages from this URL] 


 
 36 - Extending Erlang for Safe Mobile Code Execution Browse Website open in new window
    
  07-January-2012 
by L. Brown, D. Sahlin. (ps.gz)


[more pages from this URL] 


 
 37 - Improving Robustness in Distributed Systems. Browse Website open in new window
    
  07-January-2012 
Per Bergkvist. Proceedings from EUC 2001, Stockholm.


[more pages from this URL] 


 
 38 - Tools for Designing Web Based Interfaces for Erlang/OTP. Browse Website open in new window
    
  07-January-2012 
Martin Gustafsson. Proceedings from EUC 2001, Stockholm.


[more pages from this URL] 


 
 39 - Development of a Verified Erlang Program for Resource Locking Browse Website open in new window
    
  07-January-2012 
Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides)


[more pages from this URL] 


 
 40 - http://www.erlang.se/euc/99/Hatchet/index.htm Browse Website open in new window
    
  07-January-2012 
Per Bergqvist, Ericsson Radio AB. Erlang User Conference, Stockholm.


[more pages from this URL] 

« Previous  1  2  3  4  5  Next »


Easy Web Admin

Add URL  |  My Sites  |  My Account  |  Login  |  Contact Us