New! Submit a site
whatUseek Collection Sites (submit a site ):
Give your site great
placement in this category in as little as two business days!
whatUseek Directory Site Listings:
A Case for the Unified Heap Approach to Erlang Memory Management - Marc Feeley. 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. (pdf)
An Introduction to Core Erlang - Richard Carlsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
Applying Rewriting Techniques to the Verification of Erlang Processes - Thomas Arts and Jürgen Giesl. Computer Science Logic, Mardrid. (ps)
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)
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)
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)
Extending Erlang for Safe Mobile Code Execution - Lawrie Brown and Dan Sahlin. The Second International conference on Information and Communication Security, Sydney. (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)
Four-fold Increase in Productivity and Quality - Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001, Munich. (pdf)
Invited Erlang Tutorial - Joe Armstrong. rinciples, Logics, and Implementations of High-level Programming Languages, Florence. (pdf)
Mnesia - A Distributed Robust DBMS for Telecommunications Applications - Håkan Mattsson, Hans Nilsson and Claes Wikström. International Workshop on Practical Aspects of Declarative Languages (PADL'99), San Antonio. (pdf)
On the Verification of Open Distributed Systems - Mads Dam, Lars-åke Fredlund, Swedish Institute of Computer Science, Submitted to SAC'98. (ps)
Parallel Model Checking Tool tailored to Erlang - Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
Profile-guided optimization across process boundaries - Erik Johansson and Sten-Olof Nyström. CM SIGPLAN Workshop on Dynamic and Adaptive Compilation. (ps)
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.
Symbolic Program Execution Using the Erlang Verification Tool - Clara Benac Earle. International workshop on functional and logic programming, Benicassim. (ps)
System Description: Verification of Distributed Erlang Programs. - Thomas Arts and Mads Dam, Dilian Gurov, Lars-Åke Fredlund.Fifteenth International Conference on Automated Deduction, Lindau. (ps)
The Erlang Verification Tool - by Thomas Noll, Lars-ake Fredlund, and Dilian Gurov at 7th International Conference, TACAS 2001.
Verification of Erlang Programs - Thomas Arts, Dilian Gurov, Mads Dam, Lars-åke Fredlund, Erlang User Conference, Stockholm.
|