Proceedings Conferences Erlang Languages

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

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

• Top/Computers/Programming/Languages/Erlang/Research

Four-fold Increase in Productivity and Quality - Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001, Munich.

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

   MySQL - Cache Direct