搜索结果: 1-1 共查到“数据结构 Synthesis”相关记录1条 . 查询时间(0.078 秒)
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data typ...