路易斯 swMATH ID: 21722 软件作者： 科普琴斯基，埃里克；西门托伦奇克 描述： LOIS：语法和语义。我们介绍了一种命令式编程语言LOIS（Looping Over Infinite Sets）的语义，它允许在有限时间内迭代某些无限集。我们的语义直观地对应于无限多线程的并行执行。这允许将抽象数学构造的力量合并到命令式编程中。无限集在一些底层逻辑结构上使用一阶公式进行内部表示，并使用SMT解算器对程序进行求值。 主页： https://www.mimuw.edu.pl/~erykk/lois/ 关键词： 带原子的集合;可定义集 相关软件： NLambda公司;NTS的模型逻辑;z3（零3）;连接;组织环境信息系统;新鲜OCaml;Ons（打开）;西格玛*;哈斯克尔;SMT-LIB公司 引用于： 8文件 全部的 前5名17位作者引用 三 巴托克·克林 三 约书亚·莫尔曼 2 马蒂奥·桑马蒂诺 2 亚历山德拉·席尔瓦 2 西门托伦奇克 1 M.H.班杜卡拉。 1 卡迪耶·凯什瓦尔杜斯特 1 科普钦斯基，Eryk 1 德克斯特·C·科赞。 1 萨沃米尔·拉索塔 1 Łełyk，马特乌斯·兹比格尼尤 1 康斯坦蒂诺斯·马穆拉斯 1 乔安娜·奥奇里米亚克 1 朱里安·罗特 1 Micha Szynwelski 1 尼科斯·齐夫列科斯 1 戴维·文霍克 3篇连载文章中引用 三 计算机科学中的逻辑方法 1 理论计算机科学 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 7 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 按年份列出的引文