水星是一种逻辑/功能的编程语言,它将声明性编程的清晰性和表达性与先进的静态分析和错误检测特征相结合。它的高度优化的执行算法远远超过现有逻辑编程系统的效率,并且接近传统的编程系统。水星解决大规模程序开发的问题,允许模块化、独立编译、以及许多优化/时间权衡。


ZBMaCT中的参考文献(65篇文章中引用)

显示结果1至20的65。
按年份排序(引文
  1. 卢卡斯·萨尔瓦多:证明语义属性为一阶可满足性(2019)
  2. Antoy,塞尔吉奥;Hanus,米迦勒:把布尔等式转化为约束条件(2017)
  3. 莫拉莱斯,约瑟夫;Carro,曼努埃尔;HelMeigeldo.曼努埃尔:Prolog语言中抽象机器的描述和优化(2016)
  4. Gange,格雷姆;纳瓦斯,Jorge A.;沙希特,彼得;S·NordelGad,哈拉尔德;Stuckey,Peter J.:HONE子句作为程序分析和转换的中间表示(2015)
  5. 梅斯纳德,弗莱德;PayET,E.Tayne;维达尔,GeaMnN:逻辑程序设计中的同调测试(2015)
  6. 山姆,《状态的线性使用》(2014)
  7. Hanus,米迦勒:功能逻辑程序设计:从理论到咖喱(2013)
  8. Phan,Quan;詹森,Gerda;索莫吉,佐尔坦:水星计划的基于区域的内存管理(2013)
  9. Romano,Paul K.;西格尔,Andrew R.;忘记,班诺特;史米斯,Kord:通过理货服务器模拟蒙特卡洛粒子输运模拟的数据分解(2013)
  10. CusSuns,杰姆斯:棱镜程序参数的在线贝叶斯推断(2012)
  11. 骨,保罗;SMOGYI,佐尔坦;SSCHATE,彼得:估计自动并行化的相关计算之间的重叠(2011)
  12. Puchinger,Jakob;Stuckey,Peter J.;华勒斯,Mark G.;品牌,塞巴斯蒂安:G12分解与分支和价格解决(2011)
  13. 王,彼得;索莫吉,佐尔坦:最小化依赖和并行的开销(2011)
  14. Lopez Garcia,佩德罗;BueNo,弗朗西斯科;Hermenegildo,曼努埃尔:使用模式和类型分析的逻辑程序的确定性和互斥性的自动推理(2010)
  15. 艾伯特,Elvira;加拉赫,约翰;G·MZ ZAMOLA,米格尔;普埃布拉,GeaMnn:基于类型的同胚嵌入在线终止(2009)
  16. Berghofer,斯特凡;BulaWHN,卢卡斯;哈夫曼,弗洛里安:归纳归纳成等式规范(2009)
  17. DeGrand,弗兰Southo. Srjjver,Tom;VoHoof,WIM:汞的测试输入的自动生成(2009)
  18. 汤姆,BrynooGHe,毛里斯;加拉赫,John P.:从单形到多态井类型及其超越(2009)
  19. 艾伯特,Elvira;加拉赫,约翰;G.Mez ZAMOLA,米格尔;普埃布拉,GeaMaNN:基于类型的同胚嵌入及其在在线部分评价中的应用(2008)
  20. DeGrand,弗兰Sou-OIS;Vanhoof,WIM:迈向水星计划的正常形式(2008)