Proceedings - Musharof Chy
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...
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, Floren...
A Case for the Unified Heap Approach to Erlang Memory Management
Marc Feeley. Principles, Logics, and Implementations of High-level Programming Languages, Florence....
Exploiting Sequential Libraries on a Cluster of Computers
Miguel Barreiro, José Luis Freire, Victor M Gulias and Juan J Sanchez. Principles, Logics, and Impl...
Extracting the Process Structure of Erlang Applications
Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming La...
An Introduction to Core Erlang
Richard Carlsson. Principles, Logics, and Implementations of High-level Programming Languages, Flor...
A Model for Analyzing Erlang Software from a Code Change Perspective
Lennart Öhman. Principles, Logics, and Implementations of High-level Programming Languages, Florenc...
Parallel Model Checking Tool tailored to Erlang
Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming L...
Invited Erlang Tutorial
Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages, Florenc...
Development of a Verified Erlang Program for Resource Locking
Thomas Arts and Clara Benac Earle. 6th International Workshop on Formal Methods for Industrial Crit...