{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:58:25Z","timestamp":1725551905481},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540311980"},{"type":"electronic","value":"9783540322177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11611257_38","type":"book-chapter","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T11:37:18Z","timestamp":1136461038000},"page":"399-408","source":"Crossref","is-referenced-by-count":4,"title":["Semi-strong Static Type Checking of Object-Oriented Query Languages"],"prefix":"10.1007","author":[{"given":"Micha\u0142","family":"Lentner","sequence":"first","affiliation":[]},{"given":"Krzysztof","family":"Stencel","sequence":"additional","affiliation":[]},{"given":"Kazimierz","family":"Subieta","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Alagic, S.: The ODMG Object Model: Does it Make Sense? In: Proc. OOPSLA Conf., pp. 253\u2013270 (1997)","key":"38_CR1","DOI":"10.1145\/263698.263746"},{"issue":"2","key":"38_CR2","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/62070.45066","volume":"19","author":"M. Atkinson","year":"1987","unstructured":"Atkinson, M., Buneman, P.: Types and Persistence in Database Programming Languages. ACM Computing Surveys\u00a019(2), 105\u2013190 (1987)","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"38_CR3","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF01231642","volume":"4","author":"M. Atkinson","year":"1995","unstructured":"Atkinson, M., Morrison, R.: Orthogonally Persistent Object Systems. The VLDB Journal\u00a04(3), 319\u2013401 (1995)","journal-title":"The VLDB Journal"},{"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: POPL, pp. 238\u2013252 (1977)","key":"38_CR4","DOI":"10.1145\/512950.512973"},{"unstructured":"Goldman, R., Widom, J.: DataGuides: Enabling Query Formulation and Optimization Semistructured Databases. In: 23rd International Conference on Very Large Data Bases, pp. 436\u2013445 (1997)","key":"38_CR5"},{"unstructured":"Hryni\u00f3w, R., Lentner, M., Stencel, K., Subieta, K.: Types and Type Checking in Stack-Based Query Languages. Institute of Computer Science PAS Report 984, Warszawa, 60 pages (March 2005), ISSN 0138-0648 \n                    \n                      http:\/\/www.si.pjwstk.edu.pl\/-publications\/en\/publications-2005.html","key":"38_CR6"},{"key":"38_CR7","volume-title":"The Object Data Standard:\u00a0ODMG 3.0","author":"R.G.G. Cattell","year":"2000","unstructured":"Cattell, R.G.G., Barry, D.K., Berler, M., Eastman, J., Jordan, D., Russell, C., Schadow, O., Stanienda, T., Velez, F.: The Object Data Standard:\u00a0ODMG 3.0. Morgan Kaufman, San Francisco (2000)"},{"unstructured":"Fankhauser, P., Lehti, P.: XQuery by the Book - an Implementation Based on Rigid Formal Semantics, \n                    \n                      http:\/\/www.idealliance.org\/papers\/xml02\/dx_xml02\/papers\/05-01-04\/05-01-04.html","key":"38_CR8"},{"unstructured":"Kahrs, S.: Polymorphic Type Checking by Interpretation of Code, LFCS report ECS-LFCS-92-238, University of Edinburgh, Laboratory for Foundations of Computer Science (1992)","key":"38_CR9"},{"unstructured":"Object Management Group: OMG CORBA\/IIOPTM Specifications (2002), \n                    \n                      http:\/\/www.omg.org\/-technology\/documents\/corba_spec_catalog.htm","key":"38_CR10"},{"unstructured":"Subieta, K.: Theory and Construction of Object Query Languages. Publishers of the Polish-Japanese Institute of Information Technology, 522 pages (2004) (in Polish)","key":"38_CR11"},{"unstructured":"Subieta, K., Kambayashi, Y., Leszczy\u0142owsk, J.: Procedures in Object-Oriented Query Languages. In: Proc. of VLDB, pp. 182\u2013193 (1995)","key":"38_CR12"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2006: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11611257_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:09:35Z","timestamp":1619492975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11611257_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540311980","9783540322177"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11611257_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}