|
 Directories
|
Top > Computers >
Programming >
Languages >
Erlang >
Conferences >
Proceedings
|
|
|
Mnesia - An Industrial DBMS with Transactions, Distribution and a Logical Query Language
Claes Wikström and Hans Nilsson. International Symposium on Cooperative Database Systems for Advanced Applications, Kyoto Japan. (ps.Z)
The Development of Erlang
Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam.
A practical subtyping system for Erlang
article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam.
Verification of Erlang programs using abstract interpretation and model checking
Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris.
Profile-guided optimization across process boundaries
Erik Johansson and Sten-Olof Nyström. CM SIGPLAN Workshop on Dynamic and Adaptive Compilation. (ps)
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.
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.
On the Verification of Open Distributed Systems
Mads Dam, Lars-åke Fredlund, Swedish Institute of Computer Science, Submitted to SAC'98. (ps)
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)
The migration from Erlang to OTP: A case study of a heavu duty TCP/IP client - server application written in Erlang.
Mickaël Rémond, Francesco Cesarini. Proceedings from EUC2001, Stockholm.
Improving Robustness in Distributed Systems.
Per Bergkvist. Proceedings from EUC 2001, Stockholm.
3D Graphics with Erlang - The OpenGL Interface.
Jakob Cederlund, Dan Gudmundsson, Björn Gustavsson. Proceedings from EUC 2001, Stockholm.
Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network.
Sean Hinde. Proceedings from EUC 2001, Stockholm.
Development of a Verified Erlang Program for Resource Locking
Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides)
An Erlang-based Hierarchical Distributed VoD System
Miguel Barreiro, José L. Freire, Víctor M. Gulías, Javier Mosquera and Juan J. Sánchez. Proceedings from EUC 2001, Stockholm.
The EC Erlang Compiler.
Maurice Castro. Proceedings from EUC 2001, Stockholm. (ps)
Erlang in the Corelatus MTP2 Signalling Gateway.
Matthias Läng. Proceedings from EUC 2001, Stockholm.
Erlang Specification Method - A Tool for the Graphical Specification of Distributed Systems.
Frank Huch. Proceedings from EUC 2001, Stockholm. (ps.gz)
ISD - SSL: The Best SSL Appliance in the World.
Claes Wikström, Johan Bevemyr and Tony Rogvall. Proceedings from EUC2001, Stockholm.
HiPE Version 1.0.
Kostis Sagonas. Proceedings from EUC 2001, Stockholm.
Tools for Designing Web Based Interfaces for Erlang/OTP.
Martin Gustafsson. Proceedings from EUC 2001, Stockholm.
Cross-Module Optimization of Erlang.
Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps)
Use of Erlang/OTP in the Brainpool M/3 Communication System
Fredrik Ström, Brainpool AB. Erlang User Conference, Stockholm.
Status Report on the ETOS Erlang to Scheme Compiler
Patrick Piché, Université de Montréal. Erlang User Conference, Stockholm. (ps)
Towards an Event Modelling Language
Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps)
Hatchet
Per Bergqvist, Ericsson Radio AB. Erlang User Conference, Stockholm.
An Experimental SIP Implementation in Erlang
Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm.
Telia Call Guide
Hans Nahringbauer, Telia Promotor AB. Erlang User Conference, Stockholm.
A Modular WAP Reference Stack Protocol Implementation
Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm.
Proposals for and Experiments with an Erlang Bit Syntax
Claes Wikström, Bluetail AB. Erlang User Conference, Stockholm. (ps)
Mail Robustifier Product based on Erlang/OTP
Håkan Millroth, Bluetail AB. Erlang User Conference, Stockholm. (ps)
Four-fold Increase in Productivity and Quality
Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001, Munich.
Development of a Verified Erlang Program for Resource Locking
Thomas Arts and Clara Benac Earle. 6th International Workshop on Formal Methods for Industrial Critical Systems, Paris. (ps)
Towards a Deadlock Analysis for Erlang Programs
Richard Carlsson. UU/CSD. (ps.gz)
Invited Erlang Tutorial
Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages, Florence.
An Introduction to Core Erlang
Richard Carlsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
A Case for the Unified Heap Approach to Erlang Memory Management
Marc Feeley. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
Exploiting Sequential Libraries on a Cluster of Computers
Miguel Barreiro, José Luis Freire, Victor M Gulias and Juan J Sanchez. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
A Model for Analyzing Erlang Software from a Code Change Perspective
Lennart Öhman. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (pdf)
Parallel Model Checking Tool tailored to Erlang
Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
Extracting the Process Structure of Erlang Applications
Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
Building the Next Generation Web Services with Erlang: Scalability and High Availability at Stake
Mickaël Rémond. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
Extending Erlang with structured module packages
Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000
Sendmail Meets Erlang: Experiences Using Erlang for Email Applications
Scott Lystig Fritchie, Jim Larson, Nick Christenson, Debi Jones, Lennart Öhman. Sixth International Erlang/OTP User Conference, Stockholm.
Extending Erlang for Safe Mobile Code Execution
by L. Brown, D. Sahlin. (ps.gz)
|
|
|
|
|
|
 Sponsor
|
|
|
|
|
Internet Tools
Feature Sites