XTL公司 swMATH ID: 21954 软件作者： Garavel，H.、Mateescu，R。 描述： XTL（可执行时态语言）是一种通过以BCG（二进制编码图）文件格式编码的LTS（标记转换系统）解释的函数式编程语言。XTL通常可用于实现时序逻辑运算符，方法是将其不动点语义描述为状态集上的迭代或递归计算。更一般地说，XTL允许对BCG图执行任何计算：例如，它可以计算图的分支因子，打印其标签列表等。XTL程序通过使用XTL模型检查器在BCG图上编译和评估。 主页： http://cadp.inria.fr/man/xtl-lang.html 相关软件： CADP公司;LNT2LOTOS公司;Exp.未结;自旋蛋白;M-树;BISIMULATOR（双模拟）;MCGP公司;数据链路连接器;联合;里奥;LOTOS公司;时间;SCADE公司;找不同;电子LOTOS;凯撒;CAESAR_解决;菲亚克;克罗诺斯 引用于： 4文件 全部的 前5名10位作者引用 2 弗雷德里克·朗 1 布隆，斯特凡 1 埃弗拉德，休斯 1 休伯特·加拉维 1 马蒂亚斯·古德曼 1 拉杜·马特埃斯库 1 西蒙娜·奥尔赞 1 梅里姆·乌代尔尼 1 Salaün，格温 1 温德林·塞维 连载1篇 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文