Raju Halder, Agostino Cortesi. Abstract Interpretation for sound approximation of database query languages. In Proceedings of the 7th International Conference on Informatics and Systems (INFOS 2010) , Cairo, Egypt, March 28 - 30, 2010. IEEE Press, 2010. [doi]
@inproceedings{SQLsem-INFOS10-4,
title = {Abstract Interpretation for sound approximation of database query languages},
author = {Raju Halder and Agostino Cortesi},
year = {2010},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5461771},
tags = {semantics, data-flow language, relational database, data-flow, database, abstraction, query language, domain-specific language},
researchr = {https://researchr.org/publication/SQLsem-INFOS10-4},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 7th International Conference on Informatics and Systems (INFOS 2010) , Cairo, Egypt, March 28 - 30, 2010},
publisher = {IEEE Press},
isbn = {978-1-4244-5828-8},
}