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

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

内容提要

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

🎯

关键要点

  • Bee Search是一种新的最佳优先从底向上搜索算法。

  • Bee Search解决了现有算法在信息损失和成本函数排序方面的问题。

  • 实验结果表明,Bee Search在复杂的领域特定语言中优于现有的成本指导的BUS算法。

  • 在简单的DSLs中,Bee Search的表现与先前的方法相当。

  • 新的成本函数在字符串操作任务上表现更好。

➡️

继续阅读