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

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

1 2 3 4 5 6 next

  1. De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco: A formal approach to the engineering of domain-specific distributed systems (2020)
  2. Abd Alrahman, Yehia; Torres Vieira, Hugo: A coordination protocol language for power grid operation control (2019)
  3. Haller, Philipp; Miller, Heather: A reduction semantics for direct-style asynchronous observables (2019)
  4. Johansen, Christian; Owe, Olaf: Dynamic structural operational semantics (2019)
  5. Mostowski, Wojciech: Model-based fault injection for testing gray-box systems (2019)
  6. Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador: Declarative debugging of concurrent Erlang programs (2018)
  7. Insa, David; Pérez, Sergio; Silva, Josep; Tamarit, Salvador: Erlang code evolution control (2018)
  8. Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán: A theory of reversibility for Erlang (2018)
  9. López-Fraguas, Francisco J.; Montenegro, Manuel; Suárez-García, Gorka: Polymorphic success types for Erlang (2018)
  10. Müller, Peter (ed.); Schaefer, Ina (ed.): Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018 (2018)
  11. Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation of actors to Haskell (2017)
  12. Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique: Rely-guarantee termination and cost analyses of loops with concurrent interleavings (2017)
  13. Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi; Villaret, Mateu: Higher-order pattern anti-unification in linear time (2017)
  14. Brandt, Jörgen; Reisig, Wolfgang; Leser, Ulf: Computation semantics of the functional scientific workflow language Cuneiform (2017)
  15. David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit: Erlang Code Evolution Control (2017) arXiv
  16. De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia: AErlang at work (2017)
  17. Nishida, Naoki; Palacios, Adrián; Vidal, Germán: A reversible semantics for Erlang (2017)
  18. Philipp Moritz, Robert Nishihara, Stephanie Wang, Alexey Tumanov, Richard Liaw, Eric Liang, Melih Elibol, Zongheng Yang, William Paul, Michael I. Jordan, Ion Stoica: Ray: A Distributed Framework for Emerging AI Applications (2017) arXiv
  19. Dieterle, M.; Horstmeyer, T.; Loogen, R.; Berthold, J.: Skeleton composition versus stable process systems in Eden (2016)
  20. Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien: \textscPSync: a partially synchronous language for fault-tolerant distributed algorithms (2016)

1 2 3 4 5 6 next