数学学院贾晓东博士与巴黎萨克雷大学Jean Goubault-Larrecq教授团队合作，近日在domain理论和指称语义学取得重要进展。相关论文“A domain-theoretic approach to statistical programming languages”已被计算机学科顶级刊物Journal of the ACM（JACM）正式接受发表。JACM杂志是世界计算机协会ACM的旗舰期刊，中国计算机学会CCF推荐的交叉/综合/新兴板块的A类学术期刊，主要发表在计算机科学原理方面具有持久价值的研究工作。利用domain理论，贾晓东和Jean Goubault-Larrecq的论文为统计型高阶概率程序语言的指称语义建立了数学理论框架。
统计型高阶概率程序语言能够编写处理连续概率分布抽样的计算机程序语言，该类型程序语言在机器学习、贝叶斯分析、量子计算理论等领域具有重要应用。目前，该类程序语言的数学理论基础是指称语义学中的研究前沿与热点，牛津大学Sam Staton教授团队、康奈尔大学Dexter Kozen教授团队、巴黎第七大学 Thomas Ehrhard教授团队等均从事相关研究。该论文利用极小赋值映射与实数集的区间domain模型，首次建立了统计型高阶程序语言ISPCF的domain理论模型，证明了程序语言与其数学模型之间的可靠性与充分性定理，为进一步利用domain理论验证更复杂的概率程序语言的可靠性问题奠定了基础。
论文链接：https://dl.acm.org/doi/10.1145/3611660
