罗根

Login是使用所谓的“COGEN方法”编写的Prolog的离线部分评价系统。基本上,COGEN是一个系统:1。基于一个被注释的版本的程序将专门为该程序产生一个专门的部分评估器。此部分求值器称为生成扩展名。2。生成扩展可以用于以非常有效的方式对程序进行专门化。尝试Login,而不必安装在您的机器上点击上面的图片。


ZBMaX中的参考文献(11篇)1标准条款

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

  1. 维达尔,GrimaNN:逻辑程序联合部分评价的混合方法(2011)
  2. Banda,Gourinath;加拉赫,John P.:CLP(2009)中的线性混合系统分析
  3. Barker,史提夫;Leuschel,米迦勒;Varea,Mauricio:通过SIP最优逻辑程序专门化的高效灵活访问控制(2008)
  4. 菲舍尔,塞巴斯蒂安;席尔瓦,Josep;TaMARIT,萨尔瓦多;Vidal,GeaMnn:在懒惰功能程序的部分评估中保存共享(2008)
  5. Leuschel,米迦勒;克雷格,Stephen John;Elphick,丹:用在线技术监督逻辑程序离线部分评价(2007)
  6. 克雷格,Stephen John;加拉赫,John P.;Leuschel,米迦勒;Henriksen,Henriksen:Prolog(2005)的全自动绑定时间分析
  7. 克雷格,Stephen John;Leuschel,米迦勒:LIX:Prolog(2004)的一个有效的自适用部分求值器
  8. Leuschel,米迦勒;克雷格,Stephen J.;BrynooGHe,毛里斯;Vanhoof,WIM:使用离线部分演绎的专业口译员(2004)
  9. Leuschel,米迦勒;J·R·詹森,杰斯珀;Vanhoof,WIM;BrynooGHe,毛里斯:使用手写编译器生成器(2004)在Prolog中的离线专业化
  10. Leuschel,米迦勒;马萨特,蒂埃里:抽象解释和程序专业化的无限状态模型检验(2000)
  11. Leuschel,米迦勒;J.R.GGSEN,杰斯珀:使用手写编译器生成器Login(1999)在PROlog中的高效专业化