Academic Journal
Complexity-guided container replacement synthesis
| 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 |
| ISSN: | 24751421 |
|---|---|
| DOI: | 10.1145/3527312 |