{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T13:47:04Z","timestamp":1772113624070,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T00:00:00Z","timestamp":1452470400000},"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":[[2016,1,11]]},"DOI":"10.1145\/2847538.2847543","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T14:05:00Z","timestamp":1452175500000},"page":"49-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["A constraint language for static semantic analysis based on scope graphs"],"prefix":"10.1145","author":[{"given":"Hendrik van","family":"Antwerpen","sequence":"first","affiliation":[{"name":"Delft University of Technology, Netherlands"}]},{"given":"Pierre","family":"N\u00e9ron","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}]},{"given":"Andrew","family":"Tolmach","sequence":"additional","affiliation":[{"name":"Portland State University, USA"}]},{"given":"Eelco","family":"Visser","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}]},{"given":"Guido","family":"Wachsmuth","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2016,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/280474"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/321239.321249"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11877028_18"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297029"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814277"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.08.007"},{"key":"e_1_3_2_1_7_1","volume-title":"Reference attributed grammars. informaticaSI, 24(3)","author":"Hedin G.","year":"2000","unstructured":"G. Hedin . Reference attributed grammars. informaticaSI, 24(3) , 2000 . G. Hedin. Reference attributed grammars. informaticaSI, 24(3), 2000."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944707"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01463944"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869497"},{"key":"e_1_3_2_1_11_1","volume-title":"Semantics of context-free languages. mst, 2(2):127\u2013145","author":"Knuth D. E.","year":"1968","unstructured":"D. E. Knuth . Semantics of context-free languages. mst, 2(2):127\u2013145 , 1968 . D. E. Knuth. Semantics of context-free languages. mst, 2(2):127\u2013145, 1968."},{"key":"e_1_3_2_1_12_1","first-page":"331","volume-title":"SLE","author":"Konat G. D. P.","year":"2012","unstructured":"G. D. P. Konat , L. C. L. Kats , G. Wachsmuth , and E. Visser . Declarative name binding and scope rules . In SLE , pages 311\u2013 331 , 2012 . G. D. P. Konat, L. C. L. Kats, G. Wachsmuth, and E. Visser. Declarative name binding and scope rules. In SLE, pages 311\u2013331, 2012."},{"key":"e_1_3_2_1_13_1","volume-title":"A theory of type polymorphism in programming. jcss, 17(3):348\u2013375","author":"Milner R.","year":"1978","unstructured":"R. Milner . A theory of type polymorphism in programming. jcss, 17(3):348\u2013375 , 1978 . R. Milner. A theory of type polymorphism in programming. jcss, 17(3):348\u2013375, 1978."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46669-8_9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117965"},{"key":"e_1_3_2_1_16_1","volume-title":"Object-oriented type systems","author":"Palsberg J.","year":"1994","unstructured":"J. Palsberg and M. I. Schwartzbach . Object-oriented type systems . Wiley professional computing. Wiley , 1994 . J. Palsberg and M. I. Schwartzbach. Object-oriented type systems. Wiley professional computing. Wiley, 1994."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661149"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02654-1_15"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535870"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738009"}],"event":{"name":"POPL '16: The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"St. Petersburg FL USA","acronym":"POPL '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2847538.2847543","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2847538.2847543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:27Z","timestamp":1750225407000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2847538.2847543"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,11]]},"references-count":20,"alternative-id":["10.1145\/2847538.2847543","10.1145\/2847538"],"URL":"https:\/\/doi.org\/10.1145\/2847538.2847543","relation":{},"subject":[],"published":{"date-parts":[[2016,1,11]]},"assertion":[{"value":"2016-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}