Learning-based extraction of first-order logic representations of API directives

• Main Authors: LIU, Mingwei, PENG, Xin, MARCUS, Andrian, TREUDE, Christoph, BAI, Xuefang, LYU, Gang, XIE, Jiazhen, ZHANG, Xiaoxin
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2021
• Subjects: API Documentation; Directive; First Order Logic; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/8902; https://ink.library.smu.edu.sg/context/sis_research/article/9905/viewcontent/fse21a.pdf
• Institution: Singapore Management University

Developers often rely on API documentation to learn API directives, i.e., constraints and guidelines related to API usage. Failing to follow API directives may cause defects or improper implementations. Since there are no industry-wide standards on how to document API directives, they take many form...