搜索结果: 1-4 共查到“工学 Data Representation”相关记录4条 . 查询时间(0.171 秒)
云南农业大学计算机导论课件Chapter2 Data Representation.
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...
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a representation of the ...
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...