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

Related categories 1

Four-fold Increase in Productivity and Quality
Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001, Munich. [PDF]
Extending Erlang with structured module packages
Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000
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.
3D Graphics with Erlang - The OpenGL Interface.
Jakob Cederlund, Dan Gudmundsson, Björn Gustavsson. Proceedings from EUC 2001, Stockholm. (September 28, 2001)
Cross-Module Optimization of Erlang.
Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps) (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)
The EC Erlang Compiler.
Maurice Castro. Proceedings from EUC 2001, Stockholm. (ps) (September 28, 2001)
Erlang in the Corelatus MTP2 Signalling Gateway.
Matthias Läng. Proceedings from EUC 2001, Stockholm. [PDF] (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)
Improving Robustness in Distributed Systems.
Per Bergkvist. Proceedings from EUC 2001, Stockholm. (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)
Tools for Designing Web Based Interfaces for Erlang/OTP.
Martin Gustafsson. Proceedings from EUC 2001, Stockholm. (September 28, 2001)
Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network.
Sean Hinde. 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)
An Experimental SIP Implementation in Erlang
Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm. (September 30, 1999)
Hatchet
Per Bergqvist, Ericsson Radio AB. Erlang User Conference, Stockholm. (September 30, 1999)
Mail Robustifier Product based on Erlang/OTP
Håkan Millroth, Bluetail AB. Erlang User Conference, Stockholm. (ps) (September 30, 1999)
A Modular WAP Reference Stack Protocol Implementation
Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm. (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)
Status Report on the ETOS Erlang to Scheme Compiler
Patrick Piché, Université de Montréal. Erlang User Conference, Stockholm. (ps) (September 30, 1999)
Telia Call Guide
Hans Nahringbauer, Telia Promotor 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)
Use of Erlang/OTP in the Brainpool M/3 Communication System
Fredrik Ström, Brainpool AB. Erlang User Conference, Stockholm. (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)
[Many Mozillas]
Last update:
November 19, 2015 at 17:24:07 UTC
Computers
Games
Health
Home
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
All Languages
Arts
Business