×

Erlang

swMATH ID: 7202
Software Authors: erlang.org
Description: 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
Homepage: http://www.erlang.org/
Related Software: Haskell; Maude; JCobox; QuickCheck; ABS; Linda; Featherweight Java; Eden; evt; ML; Pict; Scala; McErlang; AmbientTalk; Kilim; RefactorErl; Coq; Cilk; HiPE; CLEAN
Cited in: 101 Publications

Standard Articles

2 Publications describing the Software, including 2 Publications in zbMATH Year
Erlang programming. Zbl 1177.68039
Cesarini, Francesco; Thompson, Simon
2009
Concurrent programming in ERLANG. Zbl 0829.68014
Armstrong, Joe; Virding, Robert; Williams, Mike
1993
all top 5

Cited by 201 Authors

6 Vidal, Germán
5 Arts, Thomas
4 Albert, Elvira
4 Király, Roland
4 Noll, Thomas
4 Palacios, Adrian G.
4 Sagonas, Konstantinos
3 Armstrong, Joe
3 Benac Earle, Clara
3 Gulias, Victor M.
3 Huch, Frank
3 Johnsen, Einar Broch
3 Kitlei, Róbert
3 Kozsik, Tamás
3 Loogen, Rita
3 Martin-Martin, Enrique
3 Nishida, Naoki
3 Owe, Olaf
3 Svensson, Hans
3 Tamarit, Salvador
2 Amadio, Roberto M.
2 Barreiro, Miguel
2 Claessen, Koen
2 Fluet, Matthew T.
2 Francalanza, Adrian
2 Fredlund, Lars-åke
2 Haller, Philipp
2 Horstmeyer, Thomas
2 Horváth, Zoltán
2 López-Fraguas, Francisco Javier
2 Lövei, Laszlo
2 Montenegro, Manuel
2 Muscholl, Anca
2 Rathke, Julian
2 Sánchez, Juan J.
2 Schlatte, Rudolf
2 Silva, Josep
2 Tapia Tarifa, Silvia Lizeth
2 Thompson, Simon J.
2 Virding, Robert
2 Wilhelmsson, Jesper
2 Williams, Mike
1 Abalde, Carlos
1 Abdulla, Parosh Aziz
1 Agha, Gul A.
1 Alrahman, Yehia Abd
1 Ankolekar, Anupriya
1 Aronis, Stavros
1 Bartoletti, Massimo
1 Baumgartner, Alexander
1 Behrends, Reimer
1 Berthold, Jost
1 Bezirgiannis, Nikolaos
1 Bi, Xuan
1 Bierman, Gavin M.
1 Black, Andrew Philip
1 Bocchi, Laura
1 Brandt, Jorgen
1 Bravetti, Mario
1 Brown, Lawrence Peter
1 Buisson, Jérémy
1 Caballero, Rafael E.
1 Capecchi, Sara
1 Carlsson, Richard
1 Cesarini, Francesco
1 Ciaffaglione, Alberto
1 Clarke, Dave
1 Cook, William R.
1 Coppo, Mario
1 Correas, Jesús
1 Csörnyei, Zoltán
1 Dagnat, Fabien
1 Dal Zilio, Silvano
1 Dam, Mads
1 de Boer, Frank S.
1 De Meuter, Wolfgang
1 De Nicola, Rocco
1 Deng, Xiaojie
1 Deng, Yuxin
1 Derrick, John
1 Dévai, Gergely
1 Dezani-Ciancaglini, Mariangiola
1 Di Gianantonio, Pietro
1 Di Giusto, Cinzia
1 Dieterle, M.
1 Donnelly, Kevin P.
1 Dragoi, Cezara
1 Drossopoulou, Sophia Chloe
1 Echahed, Rachid
1 Evans, Jacob
1 Ferrari, Gian Luigi
1 Fischer, Bernd
1 Flores-Montoya, Antonio
1 Freire, José-Luis
1 Galindo Pastor, Carlos
1 Genaim, Samir
1 Giachino, Elena
1 Giesl, Jürgen
1 Grech, Neville
1 Gupta, Gopal K.
...and 101 more Authors
all top 5

Cited in 21 Serials

10 Journal of Logical and Algebraic Methods in Programming
7 Journal of Functional Programming
6 Theoretical Computer Science
3 Science of Computer Programming
3 Logical Methods in Computer Science
2 Journal of Automated Reasoning
2 Lecture Notes in Computer Science
2 Annales Mathematicae et Informaticae
1 Computing
1 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica
1 Journal of Symbolic Computation
1 Information and Computation
1 Formal Aspects of Computing
1 Journal of Parallel and Distributed Computing
1 Applicable Algebra in Engineering, Communication and Computing
1 Formal Methods in System Design
1 Higher-Order and Symbolic Computation
1 Theory and Practice of Logic Programming
1 Cahiers de Logique et d’Épistémologie
1 Chapman & Hall/CRC Computational Science Series
1 Berichte aus der Informatik
all top 5

Cited in 6 Fields

101 Computer science (68-XX)
7 Mathematical logic and foundations (03-XX)
3 General and overarching topics; collections (00-XX)
1 Quantum theory (81-XX)
1 Operations research, mathematical programming (90-XX)
1 Systems theory; control (93-XX)

Citations by Year