本杰明·穆拉德；马蒂奥·奇米尼 语言转换的微积分。 （英语） Zbl 1508.68034号 Chatzigeorgiou，Alexander（编辑）等人，SOFSEM 2020：计算机科学的理论与实践。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011, 547-555 (2020). 摘要：在本文中，我们提出了一种表示编程语言转换算法的演算。我们给出了微积分的类型系统和操作语义，并证明了它是类型声音。我们已经实现了微积分，并用编程语言中的常见示例证明了它的适用性。当我们的微积分操作推理系统时，我们的工作原则上可以应用于逻辑系统。有关整个系列，请参见[Zbl 1435.68022号]. 引用于1文件 MSC公司： 68甲15 编程语言理论 第68季度55 计算理论中的语义学 软件：PLT兑换 PDF格式BibTeX公司 XML格式引用 \textit{B.Mourad}和\textit{M.Cimini}，莱克特。注释计算。科学。12011，547--555（2020；Zbl 1508.68034） 全文： 内政部 arXiv公司 参考文献： [1] Ciobácé：从小步语义到大步语义，都是自动的。摘自：Johnsen，E.B.，Petre，L.（编辑）IFM 2013。LNCS，第7940卷，第347-361页。斯普林格，海德堡（2013）。https://doi.org/10.1007/978-3642-38613-8_24 ·doi:10.1007/978-3-642-38613-8_24 [2] Danvy，O.：编程语言的功能失效的解释器。摘自：第13届ACM SIGPLAN函数编程国际会议记录，ICFP 2008，第131-142页。ACM，纽约（2008） [3] Erdweg，S.，Giarrusso，P.G.，Rendel，T.：语言构成不成体系。收录于：LDTA 2012，第7:1-7:8页。ACM，纽约（2012） [4] Felleisen，M.，Findler，R.B.，Flatt，M.：PLT Redex的语义工程。麻省理工学院出版社，剑桥（2009）·Zbl 1183.68359号 [5] Fowler，M.：语言工作台：领域特定语言的杀手级应用程序？(2005). http://www.martinfowler.com/articles/languageWorkbench.html [6] Kahn，G.：自然语义学。收录：Brandenburg，F.J.、Vidal-Naquet，G.、Wirsing，M.（编辑）STACS 1987。LNCS，第247卷，第22-39页。斯普林格，海德堡（1987）。https://doi.org/10.1007/BFb0039592 ·Zbl 0635.68007号 ·doi:10.1007/BFb0039592 [7] Mourad，B.，Cimini，M.：语言转换的微积分（2019）。技术报告。arXiv:1910.11924[cs.PL] [8] Mourad，B.，Cimini，M.：L-Tr（2019年）。http://www.cimini.info/LTR/index.html [9] 不列颠哥伦比亚省皮尔斯：类型和编程语言。麻省理工学院出版社，剑桥（2002）·Zbl 0995.68018号 [10] Plotkin，G.D.：操作语义的结构方法。DAIMI报告FN-19，奥胡斯大学计算机科学系（1981） [11] 罗苏，G·Zbl 1214.68188号 ·doi:10.1016/j.jlap.2010.03.012 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。