DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization.
Chengpeng WangJipeng ZhangRongxin WuCharles ZhangPublished in: Proc. ACM Softw. Eng. (2024)
Keyphrases
- written in natural language
- high frequency
- global optimization
- open source
- optimization problems
- optimization algorithm
- cross platform
- high level
- source code
- optimization process
- high quality
- application programming interface
- super resolution
- case study
- motion estimation
- optimization methods
- constrained optimization