Abstract Interpretation for sound approximation of database query languages

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.