最佳优先自顶向下的程序合成

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

Bee Search是一种新的最佳优先从底向上搜索算法,解决了现有算法在信息损失和成本函数排序方面的问题。实验结果表明,Bee Search在复杂的领域特定语言中优于现有的成本指导的BUS算法,在简单的DSLs中表现相当。同时,新的成本函数在字符串操作任务上表现更好。

🎯

关键要点

  • Bee Search是一种新的最佳优先从底向上搜索算法。
  • Bee Search解决了现有算法在信息损失和成本函数排序方面的问题。
  • 实验结果表明,Bee Search在复杂的领域特定语言中优于现有的成本指导的BUS算法。
  • 在简单的DSLs中,Bee Search的表现与先前的方法相当。
  • 新的成本函数在字符串操作任务上表现更好。
➡️

继续阅读