JSetL公司 swMATH ID: 29267 软件作者： 安德烈亚·福斯（Andrea Fois）、吉安弗兰科·罗西（Gianfranco Rossi）、伊丽莎白·波罗（Elisabetta Poleo）等 描述： JSetL是一个Java库，自2002年以来由意大利帕尔马大学开发。JSetL是根据GPL 3.0许可证发布的。JSetL允许用户在流行的Java编程语言中使用声明式编程风格。使用JSetL，用户可以创建部分指定（或完全未绑定）的逻辑对象，例如逻辑变量、逻辑列表和集、逻辑二进制关系和映射、受限内涵集、逻辑对……此外，JSetL还可用于声明和解决逻辑对象上的约束。内置逻辑对象类型有大量可用的内置约束。此外，JSetL允许用户创建自己的约束并为其定义重写规则。这意味着JSetL解算器可以用作任何用户定义约束的非确定性引擎。 主页： http://www.clpset.unipr.it/jsetl/ 依赖项： Java语言 关键词： arXiv_cs。损益；Java语言；JSetL公司；声明式编程；集合编程；逻辑程序设计；约束编程；集合论；设置约束 相关软件： Z轴；SETL公司；ProB公司；迷你锌；Gecode公司；日本石油公司；法西乐；乔科；克莱尔；米兰达；SAT时CUD；CUDA公司；seL4级；B软件；次/次；格林戈；TPTP公司；莫扎特；CPLEX公司；ESRA公司 引用于： 4文件 更多出版物： http://www.clpset.unipr.it/jsetl/index.php/papers/ 标准条款 1出版物描述软件 年份 使用JSetL在Java中使用内涵集的声明式编程arXiv公司马克西米利亚诺·克里斯蒂、安德烈亚·福伊斯、吉安弗兰科·罗西 2020 全部的 前5名8位作者引用 三 吉安弗兰科·罗西 2 马克西米利亚诺·克里斯蒂亚 1 费德里科·贝根蒂 1 亚历山德罗·达尔·帕洛 1 阿戈斯蒂诺·多维尔 1 安德烈亚·福米萨诺 1 恩里科·蓬泰利 1 法比奥·塔迪沃 3篇连载文章中引用 2 自动推理杂志 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 计算机基础理论 在2个字段中引用 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文