Learning-based Extraction of First-Order Logic Representations of API Directives

Mingwei Liu; Xin Peng; Andrian Marcus; Christoph Treude; Xuefang Bai; Gang Lyu; Jiazhan Xie; Xiaoxin Zhang

doi:10.1145/3468264.3468618

Mingwei Liu, Xin Peng, Andrian Marcus, Christoph Treude, Xuefang Bai, Gang Lyu, Jiazhan Xie, Xiaoxin Zhang

ESEC/FSE '21: Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

PDF

Cite

@inproceedings{learningbased-extraction-of-firstorder-logic-2021,
  author    = {Mingwei Liu and Xin Peng and Andrian Marcus and Christoph Treude and Xuefang Bai and Gang Lyu and Jiazhan Xie and Xiaoxin Zhang},
  title     = {Learning-based Extraction of First-Order Logic Representations of API Directives},
  booktitle = {ESEC/FSE '21: Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
  year      = {2021},
  pages     = {491-502},
  doi       = {10.1145/3468264.3468618}
}