{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:09Z","timestamp":1750306149278,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T00:00:00Z","timestamp":1476921600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","award":["200020-162352"],"award-info":[{"award-number":["200020-162352"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,10,20]]},"DOI":"10.1145\/2986012.2986017","type":"proceedings-article","created":{"date-parts":[[2016,10,21]],"date-time":"2016-10-21T14:16:42Z","timestamp":1477059402000},"page":"43-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Exploring cheap type inference heuristics in dynamically typed languages"],"prefix":"10.1145","author":[{"given":"Nevena","family":"Milojkovi\u0107","sequence":"first","affiliation":[{"name":"University of Bern, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oscar","family":"Nierstrasz","sequence":"additional","affiliation":[{"name":"University of Bern, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,10,20]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","first-page":"26","volume-title":"Proceedings ECOOP \u201995","author":"Agesen O.","year":"1995","unstructured":"O. Agesen . The Cartesian product algorithm . In W. Olthoff, editor, Proceedings ECOOP \u201995 , volume 952 of LNCS , pages 2\u2013 26 , Aarhus, Denmark, Aug . 1995 . Springer-Verlag . O. Agesen. The Cartesian product algorithm. In W. Olthoff, editor, Proceedings ECOOP \u201995, volume 952 of LNCS, pages 2\u201326, Aarhus, Denmark, Aug. 1995. Springer-Verlag."},{"key":"e_1_3_2_1_2_1","series-title":"LNCS","first-page":"267","volume-title":"Proceedings ECOOP \u201993","author":"Agesen O.","year":"1993","unstructured":"O. Agesen , J. Palsberg , and M. I. Schwartzbach . Type inference of SELF: Analysis of objects with dynamic and multiple inheritance . In O. Nierstrasz, editor, Proceedings ECOOP \u201993 , volume 707 of LNCS , pages 247\u2013 267 , Kaiserslautern, Germany, July 1993 . Springer-Verlag . O. Agesen, J. Palsberg, and M. I. Schwartzbach. Type inference of SELF: Analysis of objects with dynamic and multiple inheritance. In O. Nierstrasz, editor, Proceedings ECOOP \u201993, volume 707 of LNCS, pages 247\u2013267, Kaiserslautern, Germany, July 1993. Springer-Verlag."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99621"},{"key":"e_1_3_2_1_4_1","unstructured":"ISBN 0-89791-419-8. doi: 10. 1145\/99583.99621.  ISBN 0-89791-419-8. doi: 10. 1145\/99583.99621."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.06.006"},{"key":"e_1_3_2_1_6_1","first-page":"978","article-title":"Agile visualization with Roassal. In Deep Into Pharo, pages 209\u2013239","author":"Araya V. P.","year":"2013","unstructured":"V. P. Araya , A. Bergel , D. Cassou , S. Ducasse , and J. Laval . Agile visualization with Roassal. In Deep Into Pharo, pages 209\u2013239 . Square Bracket Associates , Sept. 2013 . ISBN 978 - 973 -9523341-6-4. V. P. Araya, A. Bergel, D. Cassou, S. Ducasse, and J. Laval. Agile visualization with Roassal. In Deep Into Pharo, pages 209\u2013239. Square Bracket Associates, Sept. 2013. ISBN 978- 3-9523341-6-4.","journal-title":"Square Bracket Associates"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.962984"},{"key":"e_1_3_2_1_8_1","volume-title":"Scripting browsers with Glamour. Master\u2019s thesis","author":"Bunge P.","year":"2009","unstructured":"P. Bunge . Scripting browsers with Glamour. Master\u2019s thesis , University of Bern , Apr. 2009 . P. Bunge. Scripting browsers with Glamour. Master\u2019s thesis, University of Bern, Apr. 2009."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985441.1985448"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1145\/1985441.    10.1145\/1985441\ndoi: 10.1145\/1985441.","DOI":"10.1145\/1985441"},{"key":"e_1_3_2_1_11_1","unstructured":"1985448.  1985448."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661088.2661091"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1145\/2661088.2661091.    10.1145\/2661088.2661091\ndoi: 10.1145\/2661088.2661091.","DOI":"10.1145\/2661088.2661091"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985441.1985468"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of CoSET \u201900 (2nd International Symposium on Constructing Software Engineering Tools)","author":"Ducasse S.","year":"2000","unstructured":"S. Ducasse , M. Lanza , and S. Tichelaar . Moose: an Extensible Language-Independent Environment for Reengineering Object-Oriented Systems . In Proceedings of CoSET \u201900 (2nd International Symposium on Constructing Software Engineering Tools) , June 2000 . S. Ducasse, M. Lanza, and S. Tichelaar. Moose: an Extensible Language-Independent Environment for Reengineering Object-Oriented Systems. In Proceedings of CoSET \u201900 (2nd International Symposium on Constructing Software Engineering Tools), June 2000."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081723"},{"key":"e_1_3_2_1_18_1","volume-title":"TIOS 91\/016","author":"Eertink H.","year":"1991","unstructured":"H. Eertink and D. Wolz . Symbolic execution of LOTOS specifications. Memoranda Informatica 91-47 , TIOS 91\/016 , University of Twente , May 1991 . H. Eertink and D. Wolz. Symbolic execution of LOTOS specifications. Memoranda Informatica 91-47, TIOS 91\/016, University of Twente, May 1991."},{"key":"e_1_3_2_1_19_1","volume-title":"Jan.","author":"Fernandes H.","year":"2007","unstructured":"H. Fernandes and S. Stinckwich . Morphic, les interfaces utilisateurs selon squeak , Jan. 2007 . H. Fernandes and S. Stinckwich. Morphic, les interfaces utilisateurs selon squeak, Jan. 2007."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/74878.74911"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/359763.359800"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1145\/359763.359800.    10.1145\/359763.359800\ndoi: 10.1145\/359763.359800.","DOI":"10.1145\/359763.359800"},{"key":"e_1_3_2_1_24_1","volume-title":"The Moose book","author":"G\u02c6\u0131rba T.","year":"2010","unstructured":"T. G\u02c6\u0131rba . The Moose book , 2010 . T. G\u02c6\u0131rba. The Moose book, 2010."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96722"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352678.1352690"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1932682.1869462"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2012.6240483"},{"key":"e_1_3_2_1_29_1","unstructured":"doi: 10.1109\/ICPC.2012.    10.1109\/ICPC.2012\ndoi: 10.1109\/ICPC.2012."},{"key":"e_1_3_2_1_30_1","unstructured":"6240483.  6240483."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2688204.2688212"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.677186"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2398857.2384666"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2991041.2991047"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2820282.2820289"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.660187"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640134.1640145"},{"key":"e_1_3_2_1_39_1","first-page":"26","volume-title":"in PyCon Proceedings, Washington DC","author":"Salib M.","unstructured":"M. Salib . Faster than C : Static type inference with Starkiller . In in PyCon Proceedings, Washington DC , pages 2\u2013 26 . SpringerVerlag, 2004. M. Salib. Faster than C: Static type inference with Starkiller. In in PyCon Proceedings, Washington DC, pages 2\u201326. SpringerVerlag, 2004."},{"key":"e_1_3_2_1_40_1","unstructured":"R. Smit. Pegon. https:\/\/sourceforge.net\/projects\/pegon\/.  R. Smit. Pegon. https:\/\/sourceforge.net\/projects\/pegon\/."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661141"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2016.41"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_3"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146841.1146845"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/239912.239913"},{"key":"e_1_3_2_1_47_1","unstructured":"S. Tobin-Hochstadt and V. St-Amour. The typed Racket guide. http:\/\/docs.racket-lang.org\/ts-guide\/.  S. Tobin-Hochstadt and V. St-Amour. The typed Racket guide. http:\/\/docs.racket-lang.org\/ts-guide\/."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/38807.38828"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1145\/38765.    10.1145\/38765\ndoi: 10.1145\/38765.","DOI":"10.1145\/38765"},{"key":"e_1_3_2_1_50_1","unstructured":"38828.  38828."},{"key":"e_1_3_2_1_51_1","series-title":"LNCS","first-page":"118","volume-title":"Proceedings ECOOP \u201901","author":"Wang T.","year":"2001","unstructured":"T. Wang and S. F. Smith . Precise constraint-based type inference for Java . In G. Goos, J. Hartmanis, and J. van Leeuwen, editors, Proceedings ECOOP \u201901 , volume 2072 of LNCS , pages 99\u2013 118 , Budapest, Hungary, June 2001 . Springer-Verlag . T. Wang and S. F. Smith. Precise constraint-based type inference for Java. In G. Goos, J. Hartmanis, and J. van Leeuwen, editors, Proceedings ECOOP \u201901, volume 2072 of LNCS, pages 99\u2013118, Budapest, Hungary, June 2001. Springer-Verlag."}],"event":{"name":"SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Amsterdam Netherlands","acronym":"SPLASH '16"},"container-title":["Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2986012.2986017","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2986012.2986017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:39:33Z","timestamp":1750217973000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2986012.2986017"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,20]]},"references-count":49,"alternative-id":["10.1145\/2986012.2986017","10.1145\/2986012"],"URL":"https:\/\/doi.org\/10.1145\/2986012.2986017","relation":{},"subject":[],"published":{"date-parts":[[2016,10,20]]},"assertion":[{"value":"2016-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}