共 50 条
- [1] Breaking abstractions and unstructuring data structures 1998 INTERNATIONAL CONFERENCE ON COMPUTER LANGUAGES, PROCEEDINGS, 1998, : 28 - 38
- [3] Go with the Flow: Compositional Abstractions for Concurrent Data Structures PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2 (POPL):
- [4] Abstractions, algorithms and data structures for structural bioinformatics in PyCogent JOURNAL OF APPLIED CRYSTALLOGRAPHY, 2011, 44 : 424 - 428
- [5] Diagnosing java']java programs with static abstractions of data structures INTELLIGENT INFORMATION PROCESSING II, 2005, 163 : 369 - 372