Erlang

Abstract

The same component isolation that made it effective for large distributed telecom systems makes it effective for multicore CPUs and networked applications.

References

1. Agha, G. Actors: A model of concurrent computation in distributed systems. In MIT Series in Artificial Intelligence. MIT Press, Cambridge, MA, 1986.
2. Armstrong, J. Programming Erlang: Software for a Concurrent World. The Pragmatic Bookshelf, Raleigh, NC, 2007.
3. 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.
4. Armstrong, J. Making Reliable Distributed Systems in the Presence of Errors. Ph.D. Thesis, Royal Institute of Technology, Stockholm, 2003.
5. Armstrong, J. Concurrency-oriented programming in Erlang. Invited Talk at the Lightweight Languages Workshop (Cambridge MA, nov. 9, 2002).
6. 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.
7. Blau, S. and Rooth, J. Axd 301: A new-generation ATM switching system. Ericsson Review 1 (1998).
8. 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.
9. Däcker, B. Concurrent Functional Programming for Telecommunications: A Case Study of Technology Introduction. Licentiate Thesis, Royal Institute of Technology, Stockholm, 2000.
10. Gray, J. Why Do Computers Stop and What Can Be Done About It? Tech. Rep. 85.7. Tandem Computers, Inc., 1985.
11. 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.
12. Hoare, C.A.R. Communicating Sequential Processes. Prentice Hall, Upper Saddle River, NJ, 1985.
13. 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.
14. 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.
15. Occam Programming Manual. Prentice Hall, Upper Saddle River, NJ, 1984.
16. 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.
17. 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.
18. 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).

Index Terms

• Software and its engineering

  • Software creation and management

    • Software development techniques

  • Software notations and tools

    • General programming languages

  • Software organization and properties

    • Contextual software domains

      • Operating systems

    • Software system structures

      • Software architectures