@第{zbMATH07020202条，作者={贾尼尼、保拉和沙奇里、阿尔伯特}，Title={将函数语言编译为脚本语言的可证明正确的编译}，FJournal={计算机科学科学年鉴}，期刊={Sci.Ann.Compute.Sci.}，ISSN={1843-8121}，体积={27}，数字={1}，页码={19--76}，年份={2017年}，语言={英语}，DOI={10.7561/SACS.2017.19}，关键词={68N15,68N18,68N20}，zbMATH＝{7020202}，Zbl={1424.68028}}