{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:02:00Z","timestamp":1760043720128,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,23]],"date-time":"2017-10-23T00:00:00Z","timestamp":1508716800000},"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":[[2017,10,23]]},"DOI":"10.1145\/3136014.3136029","type":"proceedings-article","created":{"date-parts":[[2017,10,16]],"date-time":"2017-10-16T12:37:48Z","timestamp":1508157468000},"page":"221-231","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["FlowSpec: declarative dataflow analysis specification"],"prefix":"10.1145","author":[{"given":"Jeff","family":"Smits","sequence":"first","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eelco","family":"Visser","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_2_1","first-page":"1","article-title":"Program Transformation with Scoped Dynamic Rewrite Rules","volume":"69","author":"Bravenboer Martin","year":"2006","unstructured":"Martin Bravenboer , Arthur van Dam , Karina Olmos , and Eelco Visser . 2006 . Program Transformation with Scoped Dynamic Rewrite Rules . Fundamenta Informaticae 69 , 1 - 2 (2006), 123\u2013178. Martin Bravenboer, Arthur van Dam, Karina Olmos, and Eelco Visser. 2006. Program Transformation with Scoped Dynamic Rewrite Rules. Fundamenta Informaticae 69, 1-2 (2006), 123\u2013178.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.003"},{"key":"e_1_3_2_1_4_1","unstructured":"J. Gosling B. Joy G. Steele and G. Bracha. 2005. The Java Language Specification (third edition ed.). Prentice Hall PTR Boston Mass.  J. Gosling B. Joy G. Steele and G. Bracha. 2005. The Java Language Specification (third edition ed.). Prentice Hall PTR Boston Mass."},{"key":"e_1_3_2_1_5_1","volume-title":"Reference Attributed Grammars. Informatica (Slovenia) 24, 3","author":"Hedin G\u00f6rel","year":"2000","unstructured":"G\u00f6rel Hedin . 2000. Reference Attributed Grammars. Informatica (Slovenia) 24, 3 ( 2000 ). G\u00f6rel Hedin. 2000. Reference Attributed Grammars. Informatica (Slovenia) 24, 3 (2000)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11245-9_18"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151013"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00282621"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52592-0_67"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/321921.321938"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00290339"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00722-4_11"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869497"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512945"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18023-1_6"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692511"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36089-3_18"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908096"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2007.13"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.06.005"},{"key":"e_1_3_2_1_21_1","volume-title":"Hanne Riis Nielson, and Chris Hankin","author":"Nielson Flemming","year":"2005","unstructured":"Flemming Nielson , Hanne Riis Nielson, and Chris Hankin . 2005 . Principles of program analysis (2. corr. print) . Springer . Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. 2005. Principles of program analysis (2. corr. print) . Springer."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46669-8_9"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11245-9_11"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000014"},{"volume-title":"The Static Semantics of the Green-Marl Graph Analysis Language . Master\u2019s thesis","author":"Smits Jeff","key":"e_1_3_2_1_25_1","unstructured":"Jeff Smits . 2016. The Static Semantics of the Green-Marl Graph Analysis Language . Master\u2019s thesis . Delft University of Technology . Advisor(s) Guido Wachsmuth. Available at http:\/\/resolver.tudelft.nl\/uuid: 4f07cbbb-d017-41e8-aba6-8ff0c19f258d . Jeff Smits. 2016. The Static Semantics of the Green-Marl Graph Analysis Language . Master\u2019s thesis. Delft University of Technology. Advisor(s) Guido Wachsmuth. Available at http:\/\/resolver.tudelft.nl\/uuid: 4f07cbbb-d017-41e8-aba6-8ff0c19f258d ."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970296"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970298"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.02.002"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2847538.2847543"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661149"},{"key":"e_1_3_2_1_31_1","volume-title":"Kuiper","author":"Vogt Harald","year":"1989","unstructured":"Harald Vogt , S. Doaitse Swierstra , and Matthijs F . Kuiper . 1989 . HigherOrder Attribute Grammars. In PLDI. 131\u2013145. Harald Vogt, S. Doaitse Swierstra, and Matthijs F. Kuiper. 1989. HigherOrder Attribute Grammars. In PLDI. 131\u2013145."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.07.004"}],"event":{"name":"SPLASH '17: 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":"Vancouver BC Canada","acronym":"SPLASH '17"},"container-title":["Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136014.3136029","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3136014.3136029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:45Z","timestamp":1750213605000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136014.3136029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,23]]},"references-count":32,"alternative-id":["10.1145\/3136014.3136029","10.1145\/3136014"],"URL":"https:\/\/doi.org\/10.1145\/3136014.3136029","relation":{},"subject":[],"published":{"date-parts":[[2017,10,23]]},"assertion":[{"value":"2017-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}