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

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

1 2 3 4 5 6 next

  1. Abd Alrahman, Yehia; Torres Vieira, Hugo: A coordination protocol language for power grid operation control (2019)
  2. Haller, Philipp; Miller, Heather: A reduction semantics for direct-style asynchronous observables (2019)
  3. Johansen, Christian; Owe, Olaf: Dynamic structural operational semantics (2019)
  4. Mostowski, Wojciech: Model-based fault injection for testing gray-box systems (2019)
  5. Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador: Declarative debugging of concurrent Erlang programs (2018)
  6. Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán: A theory of reversibility for Erlang (2018)
  7. López-Fraguas, Francisco J.; Montenegro, Manuel; Suárez-García, Gorka: Polymorphic success types for Erlang (2018)
  8. 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)
  9. Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation of actors to Haskell (2017)
  10. Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique: Rely-guarantee termination and cost analyses of loops with concurrent interleavings (2017)
  11. Brandt, Jörgen; Reisig, Wolfgang; Leser, Ulf: Computation semantics of the functional scientific workflow language Cuneiform (2017)
  12. David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit: Erlang Code Evolution Control (2017) arXiv
  13. De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia: AErlang at work (2017)
  14. Nishida, Naoki; Palacios, Adrián; Vidal, Germán: A reversible semantics for Erlang (2017)
  15. 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
  16. Dieterle, M.; Horstmeyer, T.; Loogen, R.; Berthold, J.: Skeleton composition versus stable process systems in Eden (2016)
  17. Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien: \textscPSync: a partially synchronous language for fault-tolerant distributed algorithms (2016)
  18. Fördősy, Viktória; Tóth, Melinda: Identifying code clones with RefactorErl (2016) ioport
  19. López-Fraguas, Francisco J.; Montenegro, Manuel; Rodríguez-Hortalá, Juan: Polymorphic types in Erlang function specifications (2016)
  20. Albert, Elvira; Correas, Jesús; Puebla, Germán; Román-Díez, Guillermo: Quantified abstract configurations of distributed systems (2015)

1 2 3 4 5 6 next