• DAInfer: Inferring API Aliasin...

Treffer: DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization

Title:
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization
Authors:
Wang, Chengpeng, Zhang, Jipeng, Wu, Rongxin, Zhang, Charles
Source:
Proceedings of the ACM on Software Engineering. 1(FSE):2469-2492
Availability:
http://dl.acm.org/doi/10.1145/3660816
Database:
ACM Full-Text Collection