Decision procedures for path feasibility of string-manipulating programs with complex operations
- 期刊名称Proceedings of the ACM on Programming Languages
- 作者Chen, Taolue; Hague, Matthew; Lin, Anthony W.; Rümmer, Philipp; Wu, Zhilin
- 卷第3卷
- 电子ISSN2475-1421
- 文件大小762.56KB
- 发表时间2019-01-02
- DOI10.1145/3290362
- 页码1-30
Compiling to categoriesElliott, Conal · Proceedings of the ACM on Programming Languages · 2017
Faster coroutine pipelinesSpivey, Michael · Proceedings of the ACM on Programming Languages · 2017
Gradual session typesIgarashi, Atsushi; Thiemann, Peter; Vasconcelos, Vasco T.; Wadler, Philip · Proceedings of the ACM on Programming Languages · 2017
Editorial messageWadler, Philip · Proceedings of the ACM on Programming Languages · 2017
A verified messaging systemMansky, William; Appel, Andrew W.; Nogin, Aleksey · Proceedings of the ACM on Programming Languages · 2017
The tensor algebra compilerKjolstad, Fredrik; Kamil, Shoaib; Chou, Stephen; Lugato, David; Amarasinghe, Saman · Proceedings of the ACM on Programming Languages · 2017
Staged generic programmingYallop, Jeremy · Proceedings of the ACM on Programming Languages · 2017
Evaluating and improving semistructured mergeCavalcanti, Guilherme; Borba, Paulo; Accioly, Paola · Proceedings of the ACM on Programming Languages · 2017