水银

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


zbMATH参考文献(参考 65篇文章

显示第1到第20个结果,共65个。
按年份排序(引用)
  1. 萨尔瓦秩序(2019年萨尔瓦秩序:可满足性)
  2. Antoy,Sergio;Hanus,Michael:将布尔等式转化为约束(2017)
  3. Morales,JoséF.;Carro,Manuel;Hermenegildo,Manuel:Prolog方言中抽象机器的描述和优化(2016)
  4. Gange,Graeme;Navas,Jorge A.;Schachte,Peter;Søndergaard,Harald;Stuckey,Peter J.:Horn子句作为程序分析和转换的中间表示(2015)
  5. Mesnard,Fred;Payet,Étienne;Vidal,Germanán:逻辑编程中的复合测试(2015)
  6. Møgelberg,Rasmus Ejlers;Staton,Sam:状态的线性用法(2014)
  7. Hanus,Michael:函数逻辑编程:从理论到Curry(2013)
  8. Phan,Quan;Janssens,Gerda;Somogyi,Zoltan:Mercury程序的基于区域的内存管理(2013)
  9. Romano,Paul K.;Siegel,Andrew R.;Forget,Benoit;Smith,Kord:通过计数服务器对蒙特卡罗粒子传输模拟的数据分解(2013年)
  10. James Cussens:PRISM程序参数的在线贝叶斯推断(2012)
  11. Bone,Paul;Somogyi,Zoltan;Schachte,Peter:估计自动并行化相关计算之间的重叠(2011)
  12. Puchinger,Jakob;Stuckey,Peter J.;Wallace,Mark G.;Brand,Sebastian:Dantzig-Wolfe分解和G12中的分支和价格求解(2011)
  13. Wang,Peter;Somogyi,Zoltan:最小化依赖和并行的开销(2011)
  14. Lopez Garcia,Pedro;Bueno,Francisco;Hermenegildo,Manuel:使用模式和类型分析的逻辑程序确定性和互斥性的自动推理(2010)
  15. Albert,Elvira;Gallagher,John;Gómez Zamalola,Miguel;Puebla,Germanán:用于在线终止的基于类型的同胚嵌入(2009)
  16. Berghofer,Stefan;Bulwahn,Lukas;Haftmann,Florian:将归纳转化为等式规范(2009)
  17. Degrave,François;Schrijvers,Tom;Vanhoof,Wim:汞测试输入的自动生成(2009)
  18. Tom Schrijvers;Bruynooghe,Maurice;Gallagher,John P.:从单晶型到多态型井型及其超越(2009)
  19. Albert,Elvira;Gallagher,John;Gómez Zamalola,Miguel;Puebla,Germanán:基于类型的同胚嵌入及其在在线部分评估中的应用(2008)
  20. 降解,弗朗索瓦;万霍夫,Wim:走向汞项目的正常形式(2008)