Lopez-Fraguas，Francisco J。;黑山，曼努埃尔;苏亚雷斯-加西亚，戈尔卡 Erlang的多态成功类型。 （英文） Zbl 1415.68056号 Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 515-533 (2018). 摘要：Erlang是一种动态类型的并发函数语言，在工业界和学术界越来越受到关注。官方Erlang发行版配备了dialyzer，这是一个有用的静态分析工具，能够通过推断所谓的成功类型来预测运行时错误，这些成功类型过于接近表达式的真实语义。然而，透析器有两个主要缺点：在实用方面，它处理典型多态功能的能力相当差；在理论方面，其基本类型系统的完全发展的理论——比方说，与欣德利·米尔纳系统相比——似乎并不存在，我们认为这是一个令人遗憾的情况。这项工作提供了一个类型派生系统，用于获取Erlang程序的多态成功类型，以及与该语言的合适语义相关的正确性结果。关于整个系列，请参见[Zbl 1407.68021号]. MSC公司： 68甲15 编程语言理论 68甲18 函数编程和lambda演算 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：埃尔朗;多态性;成功类型;类型 软件：埃尔朗;透析器 PDF格式BibTeX公司 XML格式引用 \textit{F.J.López-Fraguas}等人，EPiC Ser。计算。57、515--533（2018；Zbl 1415.68056） 全文： 内政部