程序结构

论文指出，智能体首先会承诺一种程序结构（将程序分解为数据类型、模块和函数），这固定了一类候选程序，行为规格则在该类中挑选具体实现。

对一种程序结构足够的测试，对另一种结构可能远远不够，需要不同的边界用例甚至指数级更多的示例。

程序结构在此指将功能分解为数据类型、模块、函数及其调用关系的组织方式，结构选择等价于在无限程序空间中划出一个子集。