水银

Mercury是一种逻辑/函数式编程语言,它将声明性编程的清晰性和表达性与高级静态分析和错误检测功能相结合。其高度优化的执行算法提供的效率远远超过现有的逻辑编程系统,并接近传统的编程系统。Mercury解决了大规模程序开发的问题,允许模块化、独立编译和大量的优化/时间权衡。


zbMATH中的参考文献(参考文献68篇)

显示68个结果中的1到20个。
按年份排序(引用)
  1. 梅斯纳德,弗雷德;Payet,Étienne;Vidal,Germanán:CLP中的混合物测试(2020年)
  2. 卢卡斯,萨尔瓦多:证明语义属性为一阶可满足性(2019)
  3. 马丁内斯罗德里格斯,布莱恩;Liren,Vicente:Mercury(^\circledR):基于模糊聚类的计算机辅助合成软件(2019)
  4. 安托伊,塞尔吉奥;Hanus,Michael:将布尔等式转化为约束(2017)
  5. 莫拉莱斯,何塞。;卡罗,曼纽尔;Hermenegildo,Manuel:Prolog方言中抽象机器的描述与优化(2016)
  6. 恒河,格雷姆;纳瓦斯,豪尔赫A。;沙赫特,彼得;桑德加德,哈拉尔德;Stuckey,Peter J.:Horn子句作为程序分析和转换的中间表示(2015)
  7. 梅斯纳德,弗雷德;Payet,Étienne;Vidal,Germanán:逻辑编程中的复合测试(2015)
  8. 莫盖尔伯格,拉斯穆斯·埃勒斯;斯塔顿,山姆:状态的线性用法(2014)
  9. Hanus,Michael:函数逻辑编程:从理论到Curry(2013)
  10. 潘泉;詹森,格达;Somogyi,Zoltan:Mercury程序的基于区域的内存管理(2013)
  11. 罗曼诺,保罗K。;西格尔,安德鲁R。;算了吧,贝诺伊特;Smith,Kord:通过tally服务器对蒙特卡罗粒子输运模拟的数据分解(2013)
  12. James Cussens:PRISM程序参数的在线贝叶斯推断(2012)
  13. 博恩,保罗;索莫吉、佐尔坦;Schachte,Peter:估计自动并行化相关计算之间的重叠(2011)
  14. 普钦格,雅各布;斯图基,彼得J。;华莱士,马克G。;品牌,塞巴斯蒂安:Dantzig Wolfe在G12(2011)中的分解和分支和价格解决
  15. 王,彼得;Somogyi,Zoltan:最小化依赖和并行的开销(2011)
  16. 洛佩兹·加西亚,佩德罗;旧金山布埃诺;Hermenegildo,Manuel:使用模式和类型分析的逻辑程序确定性和互斥性的自动推理(2010)
  17. 艾伯特,艾薇拉;加拉赫,约翰;Gómez zamalola,米格尔;Puebla,Germanán:基于类型的同胚嵌入在线终止(2009)
  18. 伯格霍夫,斯特凡;布拉瓦,卢卡斯;哈夫特曼,弗洛里安:将归纳转化为等式规范(2009)
  19. 降解,弗朗索瓦;施里杰弗斯,汤姆;Vanhoof,Wim:汞测试输入的自动生成(2009)
  20. 费迪,蒂博;Stuckey,Peter J.:稠密线性整数约束的传播系统(2009)