Directory: Top/Computers/Programming/Languages/Erlang/Conferences/Proceedings

Top / Computers / Programming / Languages / Erlang / Conferences / Proceedings /

A Modular WAP Reference Stack Protocol Implementation
Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm.
http://www.erlang.se/euc/99/WAP/index.htm
Erlang.se ~ Site Info Whois Trace Route RBL Check

An Experimental SIP Implementation in Erlang
Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm.
http://www.erlang.se/euc/99/SIP/index.htm
Erlang.se ~ Site Info Whois Trace Route RBL Check

Towards an Event Modelling Language
Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps)
http://www.erlang.se/euc/99/Event.ps
Erlang.se ~ Site Info Whois Trace Route RBL Check

Proposals for and Experiments with an Erlang Bit Syntax
Claes Wikström, Bluetail AB. Erlang User Conference, Stockholm. (ps)
http://www.erlang.se/euc/99/binaries.ps
Erlang.se ~ Site Info Whois Trace Route RBL Check

On the Verification of Open Distributed Systems
Mads Dam, Lars-åke Fredlund, Swedish Institute of Computer Science, Submitted to SAC'98. (ps)
http://www.cogsci.ed.ac.uk/~ceilidh/SAC-Papers/Paper78/
Ed.ac.uk ~ Site Info Whois Trace Route RBL Check

The Concurrent Functional Programming Language Erlang - An Overview
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
Tu-berlin.de ~ Site Info Whois Trace Route RBL Check

A High Performance Erlang System
Erik Johansson, Mikael Pettersson and Konstantinos Sagonas. Presented at the 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000), Montreal.
http://user.it.uu.se/~happi/publications/p32-johansson.pdf
Uu.se ~ Site Info Whois Trace Route RBL Check

Linear Scan Register Allocation in the HiPE compiler.
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
Uu.se ~ Site Info Whois Trace Route RBL Check

Extending Erlang for Safe Mobile Code Execution
by L. Brown, D. Sahlin. (ps.gz)
http://www.unsw.adfa.edu.au/~lpb/papers/tr9703.ps.gz
Adfa.edu.au ~ Site Info Whois Trace Route RBL Check

Verification of Erlang programs using abstract interpretation and model checking
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
Acm.org ~ Site Info Whois Trace Route RBL Check