{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:41:11Z","timestamp":1742935271877,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319238616"},{"type":"electronic","value":"9783319238623"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23862-3_12","type":"book-chapter","created":{"date-parts":[[2015,10,13]],"date-time":"2015-10-13T18:06:06Z","timestamp":1444759566000},"page":"116-128","source":"Crossref","is-referenced-by-count":3,"title":["Verification of Hibernate Query Language by Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Angshuman","family":"Jana","sequence":"first","affiliation":[]},{"given":"Raju","family":"Halder","sequence":"additional","affiliation":[]},{"given":"Agostino","family":"Cortesi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,17]]},"reference":[{"key":"12_CR1","volume-title":"Hibernate in Action","author":"C Bauer","year":"2004","unstructured":"Bauer, C., King, G.: Hibernate in Action. Manning Publications Co., Greenwich (2004)"},{"key":"12_CR2","volume-title":"Java Persistence with Hibernate","author":"C Bauer","year":"2006","unstructured":"Bauer, C., King, G.: Java Persistence with Hibernate. Manning Publications Co., Greenwhich (2006)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-35182-2_13","volume-title":"Programming Languages and Systems","author":"M Bouaziz","year":"2012","unstructured":"Bouaziz, M., Logozzo, F., F\u00e4hndrich, M.: Inference of necessary field conditions with abstract interpretation. In: Jhala, R., Igarashi, A. (eds.) APLAS 2012. LNCS, vol. 7705, pp. 173\u2013189. Springer, Heidelberg (2012)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-89330-1_2","volume-title":"Programming Languages and Systems","author":"L Chen","year":"2008","unstructured":"Chen, L., Min\u00e9, A., Cousot, P.: A sound floating-point polyhedra abstract domain. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, pp. 3\u201318. Springer, Heidelberg (2008)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"325","DOI":"10.4204\/EPTCS.129.19","volume":"129","author":"A Cortesi","year":"2013","unstructured":"Cortesi, A., Costantini, G., Ferrara, P.: A survey on product operators in abstract interpretation. EPTCS 129, 325\u2013336 (2013)","journal-title":"EPTCS"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-642-36071-8_12","volume-title":"Distributed Computing and Internet Technology","author":"A Cortesi","year":"2013","unstructured":"Cortesi, A., Halder, R.: Abstract interpretation of recursive queries. In: Hota, C., Srimani, P.K. (eds.) ICDCIT 2013. LNCS, vol. 7753, pp. 157\u2013170. Springer, Heidelberg (2013)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the POPL 1977. pp. 238\u2013252. ACM Press, Los Angeles, CA, USA (1977)","DOI":"10.1145\/512950.512973"},{"key":"12_CR8","volume-title":"Harnessing Hibernate","author":"J Elliott","year":"2008","unstructured":"Elliott, J., O\u2019Brien, T., Fowler, R.: Harnessing Hibernate, 1st edn. O\u2019Reilly Media, Sebastopol (2008)","edition":"1"},{"key":"12_CR9","first-page":"123","volume":"38","author":"R Halder","year":"2012","unstructured":"Halder, R., Cortesi, A.: Abstract interpretation of database query languages. Comput. Lang. Syst. & Struct. 38, 123\u2013157 (2012)","journal-title":"Comput. Lang. Syst. & Struct."},{"key":"12_CR10","first-page":"100","volume":"35","author":"F Logozzo","year":"2009","unstructured":"Logozzo, F.: Class invariants as abstract interpretation of trace semantics. Comput. Lang. Syst. & Struct. 35, 100\u2013142 (2009)","journal-title":"Comput. Lang. Syst. & Struct."},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-18275-4_3","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F Logozzo","year":"2011","unstructured":"Logozzo, F.: Practical verification for the working programmer with codecontracts and abstract interpretation. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 19\u201322. Springer, Heidelberg (2011)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"O\u2019Neil, E.J.: Object\/relational mapping 2008: hibernate and the entity data model (edm). In: Proceedings of the 2008 ACM SIGMOD International Conference on Management of Data (SIGMOD 2008). pp. 1351\u20131356. ACM, New York, USA (2008)","DOI":"10.1145\/1376616.1376773"},{"issue":"1\u20132","key":"12_CR13","doi-asserted-by":"crossref","first-page":"177","DOI":"10.3233\/FI-2014-968","volume":"129","author":"P Wi\u015bniewski","year":"2014","unstructured":"Wi\u015bniewski, P., Stencel, K.: Universal query language for unified state model. Fundam. Inform. 129(1\u20132), 177\u2013192 (2014)","journal-title":"Fundam. Inform."}],"container-title":["Lecture Notes in Computer Science","Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23862-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,9]],"date-time":"2020-09-09T17:20:05Z","timestamp":1599672005000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23862-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319238616","9783319238623"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23862-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}