Software analysis, testing and evolution : 8th international conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018 : proceedings

Veröffentlicht 2018

Accelerating Program Analyses in Datalog by Merging Library Facts

von Chen, Yifan
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)