洛根

离线评估的方法称为“部分使用Prolog的方法”。基本上,cogen是一个系统,它:1。根据要专业化的程序的注释版本,为该程序生成一个专门的部分评估器。此部分求值器称为生成扩展。2生成扩展可用于以非常有效的方式专门化程序。点击上面的图片,无需在机器上安装Logen,就可以试用Logen。


参考文献,第1条标准)

显示第1到第12个结果,共12个。
按年份排序(引用)

  1. Doménech,Jesús J.;Gallagher,John P.;Genaim,Samir:部分评估的控制流细化及其在终止和成本分析中的应用(2019)
  2. 混合程序的部分合取评价法(2011)
  3. Banda,Gourinath;Gallagher,John P.:中电线性混合系统分析(2009)
  4. Barker,Steve;Leuschel,Michael;Varea,Mauricio:通过Jones最优逻辑程序专业化实现高效和灵活的访问控制(2008)
  5. Fischer,Sebastian;Silva,Josep;Tamarit,Salvador;Vidal,Germanán:在懒惰功能程序的部分评估中保持共享(2008)
  6. Leuschel,Michael;Craig,Stephen John;Elphick,Dan:使用在线技术监督逻辑程序的离线部分评估(2007)
  7. Stephen John Craig;Gallagher,John P.;Leuschel,Michael;Henriksen,Kim S.:Prolog的全自动绑定时间分析(2005)
  8. 斯蒂芬·约翰·克雷格;迈克尔·鲁舍尔:LIX:Prolog的一个有效的自适用部分评估器(2004)
  9. Leuschel,Michael;Craig,Stephen J.;Bruynoogh,Maurice;Vanhoof,Wim:使用离线部分扣除的专业口译员(2004)
  10. Leuschel,Michael;Jørgensen,Jesper;Vanhoof,Wim;Bruynooghe,Maurice:使用手写编译器生成器的Prolog离线专业化(2004)
  11. Leuschel,Michael;Massart,Thierry:通过抽象解释和程序专业化进行无限状态模型检查(2000)
  12. Leuschel,Michael;Jørgensen,Jesper:使用手写编译器生成器LOGEN高效专业化Prolog(1999)