DPPD

DPPD(几十个问题的部分演绎)库的基准。由Michael Leuschel维持。建议,评论或新的基准想法,总是受欢迎的,可以邮寄给Mal4E.Sot.A.U.K.该库旨在作为部分扣除基准的标准套件。首先观察到,部分扣除中唯一被接受的基准套件(所谓的Lam和Kusalik基准)包含太少的基准,其中大多数都太简单和太小。所以这个想法是为了产生一些类似TPTP(成千上万个定理证明的问题)库,但是用于部分推导。该库包含由声明性逻辑程序组成的基准,以及关于由特定演绎器执行的特定专业化的描述。该库还包含运行时查询,将专门程序与原始程序进行比较。


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

显示结果1至14的14。
按年份排序(引文

  1. Nishida,Naoki;维达尔,GeaMnn:一个计算有限SLD树的框架(2015)
  2. Leuschel,米迦勒;维达尔,GeaMnn:逻辑程序的快速离线部分评估(2014)
  3. 维达尔,GrimaNN:逻辑程序联合部分评价的混合方法(2011)
  4. Leuschel,米迦勒;Tamarit,萨尔瓦多;Vidal,格尔曼:快速准确的强终止分析和部分评价应用(2010)
  5. DeGrand,弗兰Southo. Srjjver,Tom;VoHoof,WIM:汞的测试输入的自动生成(2009)
  6. Leuschel,米迦勒;维达尔,GeaMnn:大型逻辑程序的快速离线部分评估(2009)
  7. Leuschel,米迦勒;克雷格,Stephen John;Elphick,丹:用在线技术监督逻辑程序离线部分评价(2007)
  8. Pettorossi,阿尔伯托;Proietti、Maurizio、雷诺、索菲:专业化和非决定论的有效逻辑程序推导(2005)
  9. Leuschel,米迦勒;J·R·詹森,杰斯珀;Vanhoof,WIM;BrynooGHe,毛里斯:使用手写编译器生成器(2004)在Prolog中的离线专业化
  10. Leuschel,米迦勒;BryyooGoHe,毛里斯:通过部分演绎的逻辑程序专门化:控制问题(2002)
  11. Leuschel,米迦勒;格鲁纳,斯特凡:正则型抽象合取部分演绎及其在模型检验中的应用(2002)
  12. De Schreye,丹尼;格吕克,罗伯特;J·R·格森,杰斯珀;Leuschel,米迦勒;Martens,伯尔尼;S·ReSEN,FI:合取部分演绎:基础、控制、算法和实验(1999)
  13. Leuschel,米迦勒;J.R.GGSEN,杰斯珀:使用手写编译器生成器Login(1999)在PROlog中的高效专业化
  14. Leuschel、米迦勒、De Schreye、丹尼:通过元译员的部分评价创建专门的完整性检查(1998)