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

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

1 2 3 4 5 next

  1. Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation of actors to Haskell (2017)
  2. Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique: Rely-guarantee termination and cost analyses of loops with concurrent interleavings (2017)
  3. De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia: AErlang at work (2017)
  4. Nishida, Naoki; Palacios, Adrián; Vidal, Germán: A reversible semantics for Erlang (2017)
  5. Dieterle, M.; Horstmeyer, T.; Loogen, R.; Berthold, J.: Skeleton composition versus stable process systems in Eden (2016)
  6. Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien: PSync: a partially synchronous language for fault-tolerant distributed algorithms (2016)
  7. Fördősy, Viktória; Tóth, Melinda: Identifying code clones with RefactorErl (2016) ioport
  8. López-Fraguas, Francisco J.; Montenegro, Manuel; Rodríguez-Hortalá, Juan: Polymorphic types in Erlang function specifications (2016)
  9. Albert, Elvira; Correas, Jesús; Puebla, Germán; Román-Díez, Guillermo: Quantified abstract configurations of distributed systems (2015)
  10. Francalanza, Adrian; Seychell, Aldrin: Synthesising correct concurrent runtime monitors (2015)
  11. Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S. Lizeth: Integrating deployment architectures and resource consumption in timed object-oriented models (2015)
  12. Muscholl, Anca: Automated synthesis of distributed controllers (2015)
  13. Palacios, Adrián; Vidal, Germán: Concolic execution in functional programming by program instrumentation (2015)
  14. 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)
  15. Vidal, Germán: Towards symbolic execution in Erlang (2015)
  16. Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos: Optimal dynamic partial order reduction (2014)
  17. Gupta, Gopal (ed.); Peña, Ricardo (ed.): Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18--19, 2013. Revised selected papers (2014)
  18. Skyrme, Alexandre; Rodriguez, Noemi; Ierusalimschy, Roberto: A survey of support for structured communication in concurrency control models (2014) ioport
  19. 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
  20. Black, Andrew P.: Object-oriented programming: some history, and challenges for the next fifty years (2013)

1 2 3 4 5 next