LNT2LOTOS公司 swMATH ID: 20418 软件作者： David Champelovier、Xavier Clerc、Hubert Garavel、Yves Guerte、Frédéric Lang、Christine McKinty、Vincent Powazny、Wendelin Serwe、Gideon Smeding 说明： LNT到LOTOS转换器的参考手册。本报告定义了LNT语言，它是E-LOTOS（国际标准ISO-15437:2001）的简化变体。简言之，LNT提供了与LOTOS相同的表达能力，但从命令式和函数式编程语言借用了更人性化和常规的符号。特别是，与LOTOS不同的是，LNT的数据类型和处理部分共享许多类似的结构，从而形成了比LOTOS更统一、更易于学习的语言。本报告定义了LNT的语法、静态语义和动态语义，并介绍了其相关工具：LPP预处理器、LNT2LOTOS转换器和LNT。OPEN脚本，与OPEN/CAESAR框架接口，以便使用CADP工具箱分析LNT规范。 主页： http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html 相关软件： CADP公司;自旋蛋白;Exp.未结;电子LOTOS;XTL公司;LOTOS公司;FDR3公司;github;如果2.0;常春藤;防抱死制动系统;基础知识;z3（零3）;ACL2型;MCGP公司;数据链路连接器;联合;Reo公司;M-树;BISIMULATOR（双模拟） 引用于： 7文件 全部的 前5名11位作者引用 4 弗雷德里克·朗 三 拉杜·马特埃斯库 2 休伯特·加拉维 1 埃夫拉德，雨果 1 马蒂亚斯·古德曼 1 法塔玛·杰巴利 1 弗朗科·马扎蒂 1 梅里姆·乌代尔尼 1 格温·萨拉恩 1 兰登·泰勒 1 张震 4篇连载文章中引用 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 计算的形式方面 1 系统设计中的形式化方法 在1个字段中引用 7 计算机科学（68至XX） 按年份列出的引文