{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:09Z","timestamp":1750307709818,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,6]],"date-time":"2009-07-06T00:00:00Z","timestamp":1246838400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,7,6]]},"DOI":"10.1145\/1557898.1557901","type":"proceedings-article","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T17:53:09Z","timestamp":1251827589000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Semantic predicate types and approximation for class-based object oriented programming"],"prefix":"10.1145","author":[{"given":"Steffen","family":"van Bakel","sequence":"first","affiliation":[{"name":"Imperial College London, London, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reuben N. S.","family":"Rowe","sequence":"additional","affiliation":[{"name":"Imperial College London, London, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,7,6]]},"reference":[{"volume-title":"Inc.","year":"1996","author":"Abadi M.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68863-1_2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90297-S"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00073-6"},{"key":"e_1_3_2_1_5_1","first-page":"202","volume-title":"ICTCS'03, LNCS 2841","author":"van Bakel S.","year":"2003"},{"key":"e_1_3_2_1_6_1","first-page":"66","volume-title":"ICTCS'05, LNCS 3701","author":"van Bakel S.","year":"2005"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-007-9079-5"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.09.020"},{"volume-title":"Its Syntax and Semantics. North-Holland","year":"1981","author":"Barendregt H.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.2307\/2273659"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294325.1294337"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1096.1098"},{"first-page":"22","volume-title":"Proceedings of the fifth international conference on Mathematical foundations of programming semantics","author":"Cardelli L.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177844"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02011875"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093883253"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19810270205"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Ugo de'Liguoro. Subtyping in Logical Form. ENTCS 70(1) 2002.  Ugo de'Liguoro. Subtyping in Logical Form. ENTCS 70(1) 2002.","DOI":"10.1016\/S1571-0661(04)80491-2"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_20"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111062"},{"issue":"1","key":"e_1_3_2_1_22_1","first-page":"3","volume":"1","author":"Fisher K.","year":"1994","journal-title":"A Lambda Calculus of Objects and Method Specialization. Nordic J. of Computing"},{"volume-title":"Universit\u00e9 Paris VII","year":"1972","author":"Girard J. Y.","key":"e_1_3_2_1_23_1"},{"volume-title":"Prentice Hall","year":"2005","author":"Gosling J.","key":"e_1_3_2_1_24_1"},{"volume-title":"UCLA","year":"2006","author":"Grothoff C.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2002.3092"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/646793.704694"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_18"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27815-3_27"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.01.024"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90009-0"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96719"},{"key":"e_1_3_2_1_34_1","first-page":"346","volume-title":"TLCA'93","author":"Pierce B. C.","year":"1993"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1055"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/647323.721503"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504286"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271658"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1137\/0205036"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949318"}],"event":{"name":"ECOOP '09: European Conference on Object-Oriented Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Genova Italy","acronym":"ECOOP '09"},"container-title":["Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1557898.1557901","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1557898.1557901","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:09Z","timestamp":1750253409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1557898.1557901"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,6]]},"references-count":39,"alternative-id":["10.1145\/1557898.1557901","10.1145\/1557898"],"URL":"https:\/\/doi.org\/10.1145\/1557898.1557901","relation":{},"subject":[],"published":{"date-parts":[[2009,7,6]]},"assertion":[{"value":"2009-07-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}