大卫·安科纳;乔治·德尔扎诺;卢卡·弗朗西斯科尼;毛里齐奥·利奥塔;恩里科·普兰波里尼;玛丽娜·里巴多;菲利波里卡 带有闭包和优先级队列的异步程序的抽象机器。 （英语） Zbl 1478.68087号 Hague，Matthew（编辑）等人，《可达性问题》。2017年9月7日至9日在英国伦敦举行的2017年RP第11届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10506, 59-74 (2017). 摘要：我们展示了抽象机器的操作语义，该抽象机器模拟基于事件的异步程序的计算，灵感来自Node.js服务器端系统，该系统是开发物联网应用程序的一个方便平台。Node.js内部结构的形式化描述的目标有两个：（1）将现有文档与更严格的语义相结合；（2）通过数学工具（如转换系统）验证广泛使用的编程和转换模式。我们的操作语义在主机脚本语言的转换系统中是参数化的，以模拟V8虚拟机的基础结构，其中Javascript代码是在C++libuv并发库提供的基于事件的引擎之上执行的。在这项工作中，我们重点关注优先级回调队列、嵌套回调和闭包；这些是广泛使用的Node.js编程特性，然而，这些特性可能会使程序难以理解、操作和验证。关于整个系列，请参见[Zbl 1371.68009号]。 MSC公司： 2009年第68季度 其他非经典计算模型 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 68问题55 计算理论中的语义学 软件：JavaScript脚本;节点.js;利波紫外线;KJS公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}等人，Lect。注释计算。科学。10506、59--74（2017；Zbl 1478.68087） 全文： 内政部