Angshuman Jana, Raju Halder, Kalahasti Venkata Abhishekh, Sanjeevini Devi Ganni, Agostino Cortesi. Extending Abstract Interpretation to Dependency Analysis of Database Applications. IEEE Trans. Software Eng., 46(5):463-494, 2020. [doi]
@article{JanaHAGC20,
title = {Extending Abstract Interpretation to Dependency Analysis of Database Applications},
author = {Angshuman Jana and Raju Halder and Kalahasti Venkata Abhishekh and Sanjeevini Devi Ganni and Agostino Cortesi},
year = {2020},
doi = {10.1109/TSE.2018.2861707},
url = {https://doi.org/10.1109/TSE.2018.2861707},
researchr = {https://researchr.org/publication/JanaHAGC20},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {46},
number = {5},
pages = {463-494},
}