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公司;日本石油公司;法西乐;乔科;克莱尔;米兰达;CUD@坐;CUDA公司;seL4级;B软件;Z/EVES公司;格林戈;第三方交易协议;莫扎特;CPLEX公司;ESRA公司 引用于: 4文件 更多出版物: http://www.clpset.unipr.it/jsetl/index.php/papers/ 标准条款 1出版物描述软件 年份 使用JSetL在Java中使用内涵集的声明式编程arXiv公司马克西米利亚诺·克里斯蒂、安德烈亚·福伊斯、吉安弗兰科·罗西 2020 全部的 前5名8位作者引用 3 Gianfranco罗西 2 克里斯蒂亚,马克西米利亚诺 1 费德里科·贝根蒂 1 亚历山德罗·达尔·帕洛 1 阿戈斯蒂诺·多维尔 1 安德烈亚·福米萨诺 1 恩里科·蓬泰利 1 法比奥·塔迪沃 3篇连载文章中引用 2 自动推理杂志 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 计算机基础理论 在2个字段中引用 4 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文