二郎

Erlang是一种编程语言,用于构建具有高可用性要求的大规模可伸缩软实时系统。它的一些用途是在电信、银行、电子商务、计算机电话和即时通讯。Erlang的运行时系统内置了对并发、分布和容错的支持


zbMATH中的参考文献,2标准条款)

显示104个结果中的1到20个。
按年份排序(引用)
  1. Abd Alrahman,Yehia;Torres Vieira,Hugo:电网运行控制的协调协议语言(2019)
  2. 非同步语义学(Halla-PP-observables:2019;Philia-PP-observables:2019)
  3. Johansen,Christian;Owe,Olaf:动态结构操作语义(2019)
  4. Mostowski,Wojciech:用于测试灰盒系统的基于模型的故障注入(2019)
  5. Rafael的Caballero;Martin Martin,Enrique;Riesco,Adrián;Tamarit,Salvador:并发Erlang程序的声明性调试(2018)
  6. 伊万·兰内斯(Lanese);西田(Nishida),直木(Naoki);帕拉西奥斯(Palacios),阿德里安(Adrián);维达尔(Vidal),格尔曼(Germanán):厄朗的可逆性理论(2018年)
  7. López Fraguas,Francisco J.;黑山,Manuel;Suárez García,Gorka:Erlang的多态成功类型(2018)
  8. Müller,Peter(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文
  9. 阿尔伯特,埃尔维拉;贝齐尔吉安尼斯,尼古拉斯;德波尔,弗兰克;马丁马丁马丁,恩里克:从演员到哈斯凯尔的正式、资源消耗保护翻译(2017)
  10. 与阿尔伯特·弗洛伊姆(Antonio Florues)和马丁·弗罗伊斯(Antonio Florays)合著的《终止协议》;与马丁·弗洛伊姆(Antonio Florues)的《终止协议》;马丁·弗罗伊斯(Antonio Florues);与恩里亚姆(Martin Genair)合著的《成本分析》(cost Analysis
  11. Brandt,Jörgen;Reisig,Wolfgang;Leser,Ulf:功能科学工作流语言楔形文字的计算语义(2017)
  12. David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit:Erlang代码进化控制(2017)阿尔十四
  13. De Nicola,Rocco;Duong,Tan;Inverso,Omar;Trubiani,Catia:AErlang at work(2017年)
  14. Nishida,Naoki;Palacios,Adrián;Vidal,Germanán: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:新兴人工智能应用的分布式框架(2017)第十四章
  16. Dieterle,M.;Horstmeyer,T.;Loogen,R.;Berthold,J.:骨架成分与伊甸园中的稳定过程系统(2016)
  17. Drăgoi,Cezara;Henzinger,Thomas A.;Zuffrey,Damien:\textscPSync:容错分布式算法的部分同步语言(2016)
  18. Fördősy,Viktória;Tóth,Melinda:用重构器识别代码克隆(2016)ioport公司
  19. López Fraguas,Francisco J.;黑山,Manuel;Rodríguez Hortalá,Juan:Erlang函数规范中的多态类型(2016)
  20. Albert,Elvira;Correas,Jesús;Puebla,Germanán;Román-Díez,Guillermo:分布式系统的量化抽象配置(2015)