Erlang

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 76 articles , 2 standard articles )

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

1 2 3 4 next

  1. Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien: PSync: a partially synchronous language for fault-tolerant distributed algorithms (2016)
  2. Fördősy, Viktória; Tóth, Melinda: Identifying code clones with RefactorErl (2016)
  3. Albert, Elvira; Correas, Jesús; Puebla, Germán; Román-Díez, Guillermo: Quantified abstract configurations of distributed systems (2015)
  4. Francalanza, Adrian; Seychell, Aldrin: Synthesising correct concurrent runtime monitors (2015)
  5. Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S.Lizeth: Integrating deployment architectures and resource consumption in timed object-oriented models (2015)
  6. Muscholl, Anca: Automated synthesis of distributed controllers (2015)
  7. Palacios, Adrián; Vidal, Germán: Concolic execution in functional programming by program instrumentation (2015)
  8. 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)
  9. Vidal, Germán: Towards symbolic execution in Erlang (2015)
  10. Skyrme, Alexandre; Rodriguez, Noemi; Ierusalimschy, Roberto: A survey of support for structured communication in concurrency control models (2014)
  11. 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)
  12. Black, Andrew P.: Object-oriented programming: some history, and challenges for the next fifty years (2013)
  13. Deng, Xiaojie; Zhang, Yu; Deng, Yuxin; Zhong, Farong: The buffered $\pi$-calculus: a model for concurrent languages (2013)
  14. Király, Roland: Complexity metric based source code transformation of Erlang programs (2013)
  15. Thompson, Simon; Li, Huiqing: Refactoring tools for functional languages (2013)
  16. Dévai, Gergely: Extended pattern matching for embedded languages (2012)
  17. Maier, Patrick; Trinder, Phil: Implementing a high-level distributed-memory parallel Haskell in Haskell (2012)
  18. Miculan, Marino; Paviotti, Marco: Synthesis of distributed mobile programs using monadic types in Coq (2012)
  19. Rinderknecht, Christian: Design and analysis of purely functional programs. (2012)
  20. Ritson, Carl G.; Sampson, Adam T.; Barnes, Frederick R.M.: Multicore scheduling for lightweight communicating processes (2012)

1 2 3 4 next