Erlang is a programming language used to build massively scalable soft real-time systems with requirements on high availability. Some of its uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang’s runtime system has built-in support for concurrency, distribution and fault tolerance

References in zbMATH (referenced in 67 articles , 2 standard articles )

Showing results 1 to 20 of 67.
Sorted by year (citations)

1 2 3 4 next

  1. Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique: Rely-guarantee termination and cost analyses of loops with concurrent interleavings (2017)
  2. Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien: PSync: a partially synchronous language for fault-tolerant distributed algorithms (2016)
  3. Fördősy, Viktória; Tóth, Melinda: Identifying code clones with RefactorErl (2016) ioport
  4. Albert, Elvira; Correas, Jesús; Puebla, Germán; Román-Díez, Guillermo: Quantified abstract configurations of distributed systems (2015)
  5. Francalanza, Adrian; Seychell, Aldrin: Synthesising correct concurrent runtime monitors (2015)
  6. Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S.Lizeth: Integrating deployment architectures and resource consumption in timed object-oriented models (2015)
  7. Muscholl, Anca: Automated synthesis of distributed controllers (2015)
  8. Palacios, Adrián; Vidal, Germán: Concolic execution in functional programming by program instrumentation (2015)
  9. Tauber, Tomáš; Bi, Xuan; Shi, Zhiyuan; Zhang, Weixin; Li, Huang; Zhang, Zhenrui; Oliveira, Bruno C.D.S.: Memory-efficient tail calls in the JVM with imperative functional objects (2015)
  10. Vidal, Germán: Towards symbolic execution in Erlang (2015)
  11. Skyrme, Alexandre; Rodriguez, Noemi; Ierusalimschy, Roberto: A survey of support for structured communication in concurrency control models (2014) ioport
  12. Van Cutsem, Tom; Gonzalez Boix, Elisa; Scholliers, Christophe; Lombide Carreton, Andoni; Harnie, Dries; Pinte, Kevin; De Meuter, Wolfgang: Ambienttalk: programming responsive mobile peer-to-peer applications with actors (2014) ioport
  13. Black, Andrew P.: Object-oriented programming: some history, and challenges for the next fifty years (2013)
  14. Deng, Xiaojie; Zhang, Yu; Deng, Yuxin; Zhong, Farong: The buffered $\pi$-calculus: a model for concurrent languages (2013)
  15. Horstmeyer, Thomas; Loogen, Rita: Graph-based communication in Eden (2013)
  16. Király, Roland: Complexity metric based source code transformation of Erlang programs (2013)
  17. Thompson, Simon; Li, Huiqing: Refactoring tools for functional languages (2013)
  18. Bravetti, Mario; di Giusto, Cinzia; Perez, Jorge A.; Zavattaro, Gianluigi: Adaptable processes (2012)
  19. Dévai, Gergely: Extended pattern matching for embedded languages (2012)
  20. Maier, Patrick; Trinder, Phil: Implementing a high-level distributed-memory parallel Haskell in Haskell (2012) ioport

1 2 3 4 next