搜索结果: 1-1 共查到“计算机科学技术基础学科 Synthesis”相关记录1条 . 查询时间(0.187 秒)
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...