搜索结果: 1-1 共查到“数据库 Introduction”相关记录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 type...