Erlang for concurrent programming

@article{Larson2009ErlangFC,
  title={Erlang for concurrent programming},
  author={Jim Larson},
  journal={Commun. ACM},
  year={2009},
  volume={52},
  pages={48-56}
}
  • J. Larson
  • Published 2009
  • Computer Science
  • Commun. ACM
Designed for concurrency from the ground up, the Erlang language can be a valuable tool to help solve concurrent problems. 
Teaching concurrency-oriented programming with Erlang
TLDR
An overview of Erlang and how it has been successfully used to teach concurrency-oriented programming (COP) in a sophomore level course at the Tecnológico de Monterrey, Campus Estado de México is provided.
A Model for Concurrency Using Single-Writer Single-Assignment Variables
TLDR
The model embodies rules in a process which may require two or more communications from other processes to respond, however, these are managed by a partial evaluation response on receiving a single communication.
On higher-order communication of Erlang
  • N. Liu, Xian Xu
  • Computer Science
    2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)
  • 2016
TLDR
This paper studies the higher-order communication mechanism of Erlang's functional programming, which is actually achieved by means of sending the references to functions in the current implementation, and proposes an improved design that realizes purely higher- order communication, i.e., strict program-passing.
Templet : Domain-specific Language for Concurrency Control *
TLDR
The article presents a new domain-specific language (DSL) for concurrency control which uses DSL with C++ programming language and discusses DSL syntax, programming model, and implementation of concurrence control in the Templet language.
Type-driven Development of Concurrent Communicating Systems
TLDR
This paper describes a type-driven approach to implementing communicating concurrent programs, using the dependently typed programming language Idris, and shows how the type system can be used to describe resource access protocols and verify that programs correctly follow those prtools.
Templet: a Markup Language for Concurrent Programming
TLDR
A markup domain-specific language (DSL) for concurrent programming which uses DSL together with C++ programming language is presented.
From UML State-Machine Diagrams to Erlang
TLDR
This paper proposes a transformation from UML State-Machine diagrams to Erlang code, which can reduce development time, and permits us to validate UML diagrams at an early development stage through the use of Erlang-based model checking techniques.
TYPE-DRIVEN DEVELOPMENT OF
TLDR
A type-driven approach to implementing communicating concurrent programs using the dependently typed programming language Idris is described, showing how the type system can be used to describe resource access protocols and verify that the programs correctly follow those protocols.
From clarity to efficiency for distributed algorithms
TLDR
A very high-level language for clear description of distributed algorithms and optimizations necessary for generating efficient implementations of logic quantifications and new optimizations are presented that automatically transform complex synchronization conditions into incremental updates of necessary auxiliary values as messages are sent and received.
From Clarity to Efficiency for Distributed Algorithms
TLDR
A very high-level language for clear description of distributed algorithms and optimizations necessary for generating efficient implementations of logic quantifications and new optimizations are presented that automatically transform complex synchronization conditions into incremental updates of necessary auxiliary values as messages are sent and received.
...
...

References

SHOWING 1-10 OF 10 REFERENCES
Erlang
The same component isolation that made it effective for large distributed telecom systems makes it effective for multicore CPUs and networked applications.
Sendmail Meets Erlang: Experiences Using Erlang for Email Applications
TLDR
This chronicle may be useful to others thinking about coding in Erlang for the first time and to the incumbent Erlang community to hear an outsider’s perspective on this fine language.
Programming Erlang: Software for a Concurrent World
TLDR
This book presents Erlang and functional programming in the familiar Pragmatic style and contains the full source code for two interesting applications: A SHOUTcast server which you can use to stream music to every computer in your house, and a full-text indexing and search engine that can index gigabytes of data.
Making reliable distributed systems in the presence of software errors
TLDR
It is argued how certain of the requirements necessary to build a fault-tolerant system are solved in the language, and others are solve in the standard libraries, which form a basis for building fault-Tolerant software systems.
The New Hacker's Dictionary
TLDR
This new edition of the hacker's own phenomenally successful lexicon includes more than 100 new entries and updates or revises 200 more and supplies additional background on existing entries and clarifies the murky origins of several important jargon terms.
application server performance testing, includes django, erlyWeb, rails, and others; http:// berlinbrowndev.blogspot.com/2008/08/applicationserver-benchmarks-including.html
  • 2008
The New Hacker's Dictionary, 3rd edition
  • The New Hacker's Dictionary, 3rd edition
  • 1996
application server performance testing, includes django, erlyWeb, rails, and others
  • application server performance testing, includes django, erlyWeb, rails, and others
and raymond, e.s. The New Hacker's Dictionary, 3rd edition
  • and raymond, e.s. The New Hacker's Dictionary, 3rd edition
  • 1996
Erlang Web site
  • Erlang Web site