在电子表格编程语言中合成程序

摘要

本文描述了用于自动合成包括电子表格编程语言中的一个或多个函数的程序的技术。一种方法包括：接收包括在电子表格中的第一单元格中提供的输入的第一示例；自动合成多个候选程序，所述候选程序包括根据所述第一示例的第一候选程序集合，其中所述第一候选程序集合中的每个候选程序包括电子表格编程语言中的至少一个函数，并且当执行所述候选程序时，所述候选程序生成与所述第一示例匹配的输出；对所述多个候选程序进行排名；以及与所述电子表格中的所述第一单元格相关联地存储所述多个候选程序中的排名最高的程序。