Abstract Interpretation for sound approximation of database query languages - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

An Abstract Interpretation Framework for Structured Query LanguagesAgostino Cortesi, Raju Halder. In Proceedings of the 21st Nordic Workshop on Programming Theory (NWPT'09). 2009: [doi]

Cooperative Query Answering by Abstract InterpretationRaju Halder, Agostino Cortesi. In Proceedings of the 37th International Conference on Current Trends in Theory and Practice of Computer Science. 2011: [doi]

Abstract interpretation of database query languagesRaju Halder, Agostino Cortesi. Comp. Lang., Syst. \& Struct., 38(2):123-157, 2012. [doi]

The following are duplicate records for the exact same publication:

Abstract Interpretation for Sound Approximation of Database Query LanguagesRaju Halder, Agostino Cortesi. In Proceedings of the IEEE 7th International Conference on Informatics and Systems (INFOS2010), Advances in Data Engineering and Management Track. 2010: [doi]

runs on WebDSL