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

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

1 2 3 4 next

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

1 2 3 4 next