Academic Journal

Complexity-guided container replacement synthesis

Bibliographic Details
Title: Complexity-guided container replacement synthesis
Authors: Wang, Chengpeng, Yao, Peisen, Tang, Wensheng, Shi, Qingkai, Zhang, Charles
Source: Proceedings of the ACM on Programming Languages. 6(OOPSLA1):1-31
Availability: http://dl.acm.org/doi/10.1145/3527312
Database: ACM Full-Text Collection
Description
ISSN:24751421
DOI:10.1145/3527312