Abstract
The same component isolation that made it effective for large distributed telecom systems makes it effective for multicore CPUs and networked applications.
- Agha, G. Actors: A model of concurrent computation in distributed systems. In MIT Series in Artificial Intelligence. MIT Press, Cambridge, MA, 1986. Google ScholarDigital Library
- Armstrong, J. Programming Erlang: Software for a Concurrent World. The Pragmatic Bookshelf, Raleigh, NC, 2007. Google ScholarDigital Library
- Armstrong, J. A history of Erlang. In Proceedings of the Third ACM SIGPLAN Conference on the History of Programming Languages (Dan Diego, CA, June 9--10). ACM Press, New York, 2007. Google ScholarDigital Library
- Armstrong, J. Making Reliable Distributed Systems in the Presence of Errors. Ph.D. Thesis, Royal Institute of Technology, Stockholm, 2003.Google Scholar
- Armstrong, J. Concurrency-oriented programming in Erlang. Invited Talk at the Lightweight Languages Workshop (Cambridge MA, nov. 9, 2002).Google Scholar
- Armstrong, J.L., Virding, S.R., and Williams, M.C. Use of Prolog for developing a new programming language. In Proceedings of the First Conference on the Practical Application of Prolog (London, Apr. 1--3). Association for Logic Programming, 1992.Google Scholar
- Blau, S. and Rooth, J. Axd 301: A new-generation ATM switching system. Ericsson Review 1 (1998).Google Scholar
- Claessen, K. and Hughes, J. Quickcheck: A Lightweight tool for random testing of Haskell programs. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming. ACM Press, New York, 2000, 268--279. Google ScholarDigital Library
- Däcker, B. Concurrent Functional Programming for Telecommunications: A Case Study of Technology Introduction. Licentiate Thesis, Royal Institute of Technology, Stockholm, 2000.Google Scholar
- Gray, J. Why Do Computers Stop and What Can Be Done About It? Tech. Rep. 85.7. Tandem Computers, Inc., 1985.Google Scholar
- Guerraoui, R. and Schiper, A. Fault tolerance by replication in distributed systems. In Proceedings of the Conference on Reliable Software Technologies. Springer Verlag, 1996, 38--57. Google ScholarDigital Library
- Hoare, C.A.R. Communicating Sequential Processes. Prentice Hall, Upper Saddle River, NJ, 1985. Google ScholarDigital Library
- Li, H., Thompson, S., Orosz, G., and Toth, M. Refactoring with Wrangler: Data and process refactorings and integration with Eclipse. In Proceedings of the Seventh ACM SIGPLAN Erlang Workshop (Victoria, BC, Sept. 27). ACM Press, New York, 2008, 61--72. Google ScholarDigital Library
- Lindahl, T. and Sagonas, K. Detecting software defects in telecom applications through lightweight static analysis: A war story. In Proceedings of the Second Asian Symposium (Taipei, Taiwan, Nov. 4--6). Springer, 2004, 91--106.Google ScholarCross Ref
- Occam Programming Manual. Prentice Hall, Upper Saddle River, NJ, 1984. Google ScholarDigital Library
- Schütt, T. Schintke, F., and Reinefeld, A. Scalaris: Reliable transactional p2p key/value store. In Proceedings of the Seventh ACM SIGPLAN Workshop on Erlang (Victoria, BC, Sept. 27). ACM Press, New York, 2008, 41--48. Google ScholarDigital Library
- Wiger, U., Ask, G., and Boortz, K. World-class product certification using Erlang. In Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang (Pittsburgh, PA). ACM Press, New York, 2002, 24--33. Google ScholarDigital Library
- Wiger, U. Fourfold increase in productivity and quality: Industrial-strength functional programming in telecom-class products. In Proceedings of the Workshop on Formal Design of Safety Critical Embedded Systems (Münich, Mar. 21--23, 2001).Google Scholar
Index Terms
- Erlang
Recommendations
Using many-core coprocessor to boost up Erlang VM
Erlang '13: Proceedings of the twelfth ACM SIGPLAN workshop on ErlangThe trend in processor design is to build more cores on a single chip. Commercial many-core processor is emerging these years. Intel Xeon Phi coprocessor , which is equipped with at least 60 relatively slow cores, is the first commercial many-core ...
Erlang as a Language for Cloud Computing and Its Integration with Many-core Coprocessor
CSC '13: Proceedings of the 2013 International Conference on Cloud and Service ComputingErlang programming language is developed for programming concurrent, distributed and fault-tolerant systems. The native support for concurrency makes Erlang an efficient language for multi-core and even many-core programming. The support for large ...
A more accurate semantics for distributed erlang
ERLANG '07: Proceedings of the 2007 SIGPLAN workshop on ERLANG WorkshopIn order to formally reason about distributed Erlang systems, it is necessary to have a formal semantics. In a previous paper we have proposed such a semantics for distributed Erlang. However, recent work with a model checker for Erlang revealed that ...
Comments