2025年12月25日
Component-Based Synthesis for Complex APIs ；基于组件的复杂API合成方法
摘要： 1-1min 概述： 摘要：论文提出了一种基于组件的程序合成方法，使用类型导向的算法和Petri网来表示API组件之间的关系。给定目标方法签名，通过Petri网的可达性分析来合成程序。工具叫SYPET，实验显示它比现有工具更高效。 方法动机：现有组件合成方法只能处理少量组件（5-20个），但真实AP 阅读全文
posted @ 2025-12-25 10:03 geekChen01 阅读(0) 评论(0) 推荐(0)