搜索结果: 1-1 共查到“数据结构 Representation”相关记录1条 . 查询时间(0.156 秒)
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...