This section contains conference proceedings, presentations, articles and posters, all sorted by date.
Related categories 1
Sites 38
- 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.
- Four-fold Increase in Productivity and Quality Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001, Munich.
- 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)
- 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)
- Extracting the Process Structure of Erlang Applications Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
- An Introduction to Core Erlang Richard Carlsson. 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.
- Parallel Model Checking Tool tailored to Erlang Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
- Invited Erlang Tutorial Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages, Florence.
- 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)
- Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network. Sean Hinde. Proceedings from EUC 2001, Stockholm.
- Improving Robustness in Distributed Systems. Per Bergkvist. Proceedings from EUC 2001, Stockholm.
- Tools for Designing Web Based Interfaces for Erlang/OTP. Martin Gustafsson. Proceedings from EUC 2001, Stockholm.
- Erlang in the Corelatus MTP2 Signalling Gateway. Matthias Läng. 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)
- Erlang Specification Method - A Tool for the Graphical Specification of Distributed Systems. Frank Huch. Proceedings from EUC 2001, Stockholm. (ps.gz)
- 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.
- HiPE Version 1.0. Kostis Sagonas. Proceedings from EUC 2001, Stockholm.
- Cross-Module Optimization of Erlang. Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps)
- The EC Erlang Compiler. Maurice Castro. 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.
- ISD - SSL: The Best SSL Appliance in the World. Claes Wikström, Johan Bevemyr and Tony Rogvall. Proceedings from EUC2001, Stockholm.
- 3D Graphics with Erlang - The OpenGL Interface. Jakob Cederlund, Dan Gudmundsson, Björn Gustavsson. Proceedings from EUC 2001, Stockholm.
- Telia Call Guide Hans Nahringbauer, Telia Promotor 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)
- Mail Robustifier Product based on Erlang/OTP Håkan Millroth, Bluetail AB. Erlang User Conference, Stockholm. (ps)
- Hatchet Per Bergqvist, Ericsson Radio AB. Erlang User Conference, Stockholm.
- A Modular WAP Reference Stack Protocol Implementation Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm.
- An Experimental SIP Implementation in Erlang Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm.
- Towards an Event Modelling Language Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps)
- Proposals for and Experiments with an Erlang Bit Syntax Claes Wikström, Bluetail AB. Erlang User Conference, Stockholm. (ps)
- A practical subtyping system for Erlang article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam.
- The Development of Erlang Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam.
- 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)
- Verification of Erlang programs using abstract interpretation and model checking Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris.