المؤلفون: Wang, Ziteng, Pailoor, Shankara, Prakash, Aaryan, Wang, Yuepeng, Dillig, Isil

المصدر: Proc. ACM Program. Lang. 8, PLDI, Article 188 (June 2024), 32 pages

مصطلحات موضوعية: Computer Science - Programming Languages, D.3.0

URL الوصول: http://arxiv.org/abs/2404.04743

المؤلفون: Zhou, Zhe, Ye, Qianchuan, Delaware, Benjamin, Jagannathan, Suresh

مصطلحات موضوعية: Computer Science - Programming Languages, D.3.0, F.3.1

URL الوصول: http://arxiv.org/abs/2404.01484

المؤلفون: Wang, Chengpeng, Zhang, Wuqi, Su, Zian, Xu, Xiangzhe, Xie, Xiaoheng, Zhang, Xiangyu

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Machine Learning, Computer Science - Software Engineering, 68N30, 68T01, D.3.0, D.2.4, I.2.5, I.2.6

URL الوصول: http://arxiv.org/abs/2402.10754

المؤلفون: Ashouri, Amir H., Manzoor, Muhammad Asif, Vu, Duc Minh, Zhang, Raymond, Wang, Ziwen, Zhang, Angel, Chan, Bryan, Czajkowski, Tomasz S., Gao, Yaoqing

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Performance, I.2.5, D.3.0, I.2.6

URL الوصول: http://arxiv.org/abs/2312.09982

المؤلفون: O'Leary, Léonard Oest, Laroche, Mathis, Feeley, Marc

مصطلحات موضوعية: Computer Science - Programming Languages, D.3.0

URL الوصول: http://arxiv.org/abs/2310.13589

المؤلفون: Blank, Douglas S., Marshall, James B.

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Machine Learning, D.3.0

URL الوصول: http://arxiv.org/abs/2310.10886

المؤلفون: Morazán, Marco T.

مصطلحات موضوعية: Computer Science - Programming Languages, D.3.0

URL الوصول: http://arxiv.org/abs/2310.08262

المؤلفون: Minic, Tijana, Morazán, Marco T.

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Programming Languages, D.3.0

URL الوصول: http://arxiv.org/abs/2310.08248

المؤلفون: Kempinski, Oliwia, Morazán, Marco T.

مصطلحات موضوعية: Computer Science - Programming Languages, D.3.0

URL الوصول: http://arxiv.org/abs/2310.08025

المؤلفون: Yu, Boxi, Mang, Qiuyang, Guo, Qingshuo, He, Pinjia

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Computer Vision and Pattern Recognition, D.3.0, I.2.7, I.4.0

URL الوصول: http://arxiv.org/abs/2310.06433