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 » Conferences » Proceedings


 Web Pages    31 - 40   of   44 Back to Proceedings Home 


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

http://www.erlang.se/publications/clara2.ps
[more pages from this URL] 


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

http://www.erlang.se/workshop/juanjo.ps
[more pages from this URL] 


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

http://www.cs.tu-berlin.de/cs/ifb/TechnB/96/28/sahlin.ps.gz
[more pages from this URL] 


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

http://user.it.uu.se/~happi/publications/wflp.ps
[more pages from this URL] 


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

http://portal.acm.org/citation.cfm?id=317908&coll=portal&dl=ACM&CFID=9780600&CFTOKEN=77012708
[more pages from this URL] 


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

http://www.unsw.adfa.edu.au/~lpb/papers/tr9703.ps.gz
[more pages from this URL] 


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

http://www.erlang.se/euc/01/Bergqvist2001/sld001.htm
[more pages from this URL] 


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

http://www.erlang.se/euc/01/martin2001/sld001.htm
[more pages from this URL] 


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

http://www.erlang.se/euc/01/arts2001/sld001.htm
[more pages from this URL] 


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

http://www.erlang.se/euc/99/Hatchet/index.htm
[more pages from this URL] 



«« Previous 1  2  3  4  5  Next »»


Easy Web Admin

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