Open Directory - Computers: Programming: Languages: Erlang: Conferences: Proceedings

Description

Top
: Computers
: Programming
: Languages
: Erlang
: Conferences
: Proceedings (41)

See also:

Computers: Programming: Languages: Erlang: Research (8)

Four-fold Increase in Productivity and Quality - Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001, Munich. [PDF]
A practical subtyping system for Erlang - article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam.
Extending Erlang for Safe Mobile Code Execution - by L. Brown, D. Sahlin. (ps.gz)
Extending Erlang with structured module packages - Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000
Verification of Erlang programs using abstract interpretation and model checking - Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris.
Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network. - Sean Hinde. Proceedings from EUC 2001, Stockholm. (September 28, 2001)
Improving Robustness in Distributed Systems. - Per Bergkvist. Proceedings from EUC 2001, Stockholm. (September 28, 2001)
Tools for Designing Web Based Interfaces for Erlang/OTP. - Martin Gustafsson. Proceedings from EUC 2001, Stockholm. (September 28, 2001)
Erlang in the Corelatus MTP2 Signalling Gateway. - Matthias Läng. Proceedings from EUC 2001, Stockholm. [PDF] (September 28, 2001)
Development of a Verified Erlang Program for Resource Locking - Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides) (September 28, 2001)
Erlang Specification Method - A Tool for the Graphical Specification of Distributed Systems. - Frank Huch. Proceedings from EUC 2001, Stockholm. (ps.gz) (September 28, 2001)
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. [PDF] (September 28, 2001)
HiPE Version 1.0. - Kostis Sagonas. Proceedings from EUC 2001, Stockholm. (September 28, 2001)
Cross-Module Optimization of Erlang. - Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps) (September 28, 2001)
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. (September 28, 2001)
The EC Erlang Compiler. - Maurice Castro. Proceedings from EUC 2001, Stockholm. (ps) (September 28, 2001)
ISD - SSL: The Best SSL Appliance in the World. - Claes Wikström, Johan Bevemyr and Tony Rogvall. Proceedings from EUC2001, Stockholm. (September 28, 2001)
3D Graphics with Erlang - The OpenGL Interface. - Jakob Cederlund, Dan Gudmundsson, Björn Gustavsson. Proceedings from EUC 2001, Stockholm. (September 28, 2001)
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) (September 02, 2001)
A Case for the Unified Heap Approach to Erlang Memory Management - Marc Feeley. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 02, 2001)
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) (September 02, 2001)
Extracting the Process Structure of Erlang Applications - Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 02, 2001)
An Introduction to Core Erlang - Richard Carlsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 02, 2001)
A Model for Analyzing Erlang Software from a Code Change Perspective - Lennart Öhman. Principles, Logics, and Implementations of High-level Programming Languages, Florence. [PDF] (September 02, 2001)
Parallel Model Checking Tool tailored to Erlang - Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) (September 02, 2001)
Invited Erlang Tutorial - Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages, Florence. [PDF] (September 01, 2001)
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) (July 01, 2001)
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. (October 03, 2000)
Use of Erlang/OTP in the Brainpool M/3 Communication System - Fredrik Ström, Brainpool AB. Erlang User Conference, Stockholm. (September 30, 1999)
Telia Call Guide - Hans Nahringbauer, Telia Promotor AB. Erlang User Conference, Stockholm. (September 30, 1999)
Status Report on the ETOS Erlang to Scheme Compiler - Patrick Piché, Université de Montréal. Erlang User Conference, Stockholm. (ps) (September 30, 1999)
Mail Robustifier Product based on Erlang/OTP - Håkan Millroth, Bluetail AB. Erlang User Conference, Stockholm. (ps) (September 30, 1999)
Hatchet - Per Bergqvist, Ericsson Radio AB. Erlang User Conference, Stockholm. (September 30, 1999)
A Modular WAP Reference Stack Protocol Implementation - Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm. (September 30, 1999)
An Experimental SIP Implementation in Erlang - Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm. (September 30, 1999)
Towards an Event Modelling Language - Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps) (September 30, 1999)
Proposals for and Experiments with an Erlang Bit Syntax - Claes Wikström, Bluetail AB. Erlang User Conference, Stockholm. (ps) (September 30, 1999)
The Development of Erlang - Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam. (June 09, 1997)
Towards a Deadlock Analysis for Erlang Programs - Richard Carlsson. UU/CSD. (ps.gz) (April 29, 1997)
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) (December 05, 1996)
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) (September 02, 1996)

Usenet comp.distributed - news: - Google Groups

Usenet comp.lang.functional - news: - Google Groups

"Proceedings" search on: AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Visit our sister sites mozilla.org | MusicMoz | Wikipedia

Last update: Sunday, July 12, 2009 6:24:08 AM EDT - edit

Open Directory - Computers: Programming: Languages: Erlang: Conferences: Proceedings

about dmoz | help

This section contains conference proceedings, presentations, articles and posters, all sorted by date.

Open Directory Computers: Programming: Languages: Erlang: Research

Last update: Monday, September 19, 2011 11:24:05 AM EDT - edit

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

About Serebella.com