{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:06Z","timestamp":1772163966166,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,15]],"date-time":"2009-06-15T00:00:00Z","timestamp":1245024000000},"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,6,15]]},"DOI":"10.1145\/1542476.1542499","type":"proceedings-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T09:34:36Z","timestamp":1245144876000},"page":"199-210","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Verifiable composition of deterministic grammars"],"prefix":"10.1145","author":[{"given":"August C.","family":"Schwerdfeger","sequence":"first","affiliation":[{"name":"University of Minnesota, Minneapolis, MN, USA"}]},{"given":"Eric R.","family":"Van Wyk","sequence":"additional","affiliation":[{"name":"University of Minnesota, Minneapolis, MN, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Compilers -- Principles, Techniques, and Tools","author":"Aho A.","year":"1986","unstructured":"A. Aho , R. Sethi , and J. Ullman . Compilers -- Principles, Techniques, and Tools . Addison-Wesley , Reading, MA , 1986 . A. Aho, R. Sethi, and J. Ullman. Compilers -- Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, 1986."},{"key":"e_1_3_2_1_2_1","unstructured":"S. Ananian. Java 1.4 LALR(1) grammar. Available at http:\/\/www2.cs.tum.edu\/projects\/cup\/.  S. Ananian. Java 1.4 LALR(1) grammar. Available at http:\/\/www2.cs.tum.edu\/projects\/cup\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289975"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167491"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029007"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of Intl. Conf. on Software Language Engineering (SLE)","author":"Bravenboer M.","year":"2008","unstructured":"M. Bravenboer and E. Visser . Parse table composition -- separate compilation and binary extensibility of grammars . In Proc. of Intl. Conf. on Software Language Engineering (SLE) , 2008 . M. Bravenboer and E. Visser. Parse table composition -- separate compilation and binary extensibility of grammars. In Proc. of Intl. Conf. on Software Language Engineering (SLE), 2008."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168054.1168057"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346312"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297029"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.003"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964011"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133987"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA465318"},{"key":"e_1_3_2_1_14_1","volume-title":"September","author":"Hendren L.","year":"2004","unstructured":"L. Hendren , O. de Moor , A. S. Christensen , and the abc team. The abc scanner and parser, including an LALR(1) grammar for AspectJ. Available at http:\/\/abc.comlab.ox.ac.uk\/documents\/scanparse.pdf , September 2004 . L. Hendren, O. de Moor, A. S. Christensen, and the abc team. The abc scanner and parser, including an LALR(1) grammar for AspectJ. Available at http:\/\/abc.comlab.ox.ac.uk\/documents\/scanparse.pdf, September 2004."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(90)90021-G"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90426-2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765931.1765947"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263715"},{"key":"e_1_3_2_1_20_1","volume-title":"Theoretical Computer Science, 281(1--2):499--536","author":"Rus T.","year":"2002","unstructured":"T. Rus . A unified language processing methodology. Theoretical Computer Science, 281(1--2):499--536 , 2002 . T. Rus. A unified language processing methodology. Theoretical Computer Science, 281(1--2):499--536, 2002."},{"key":"e_1_3_2_1_21_1","volume-title":"A language independent scanner generator. Paper","author":"Rus T.","year":"1998","unstructured":"T. Rus and T. Halverson . A language independent scanner generator. Paper available at http:\/\/www.uiowa.cs.edu\/~rus, 1998 . T. Rus and T. Halverson. A language independent scanner generator. Paper available at http:\/\/www.uiowa.cs.edu\/~rus, 1998."},{"key":"e_1_3_2_1_22_1","volume-title":"Technical Report 09--007","author":"Schwerdfeger A.","year":"2009","unstructured":"A. Schwerdfeger . A declarative specification of a deterministic parser and scanner for AspectJ. Technical Report 09--007 , University of Minnesota , 2009 . Available at http:\/\/www.cs.umn.edu. A. Schwerdfeger. A declarative specification of a deterministic parser and scanner for AspectJ. Technical Report 09--007, University of Minnesota, 2009. Available at http:\/\/www.cs.umn.edu."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.03.047"},{"key":"e_1_3_2_1_25_1","unstructured":"E. Van Wyk L. Krishnan A. Schwerdfeger and D. Bodin.  E. Van Wyk L. Krishnan A. Schwerdfeger and D. Bodin."},{"key":"e_1_3_2_1_26_1","first-page":"575","volume-title":"European Conf. on Object Oriented Programming (ECOOP)","volume":"4609","author":"Attribute","year":"2007","unstructured":"Attribute grammar-based language extensions for Java . In European Conf. on Object Oriented Programming (ECOOP) , volume 4609 of LNCS, pages 575 -- 599 . Springer-Verlag , July 2007 . Attribute grammar-based language extensions for Java. In European Conf. on Object Oriented Programming (ECOOP), volume 4609 of LNCS, pages 575--599. Springer-Verlag, July 2007."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88643-3_12"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289983"},{"key":"e_1_3_2_1_30_1","series-title":"LNCS","first-page":"216","volume-title":"C. Lengauer et al.","author":"Visser E.","year":"2004","unstructured":"E. Visser . Program transformation with Stratego\/XT: Rules, strategies, tools, and systems in StrategoXT-0.9 . In C. Lengauer et al. , editors, Domain-Specific Program Generation, volume 3016 of LNCS , pages 216 -- 238 . Spinger-Verlag , June 2004 . E. Visser. Program transformation with Stratego\/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In C. Lengauer et al., editors, Domain-Specific Program Generation, volume 3016 of LNCS, pages 216--238. Spinger-Verlag, June 2004."},{"key":"e_1_3_2_1_31_1","volume-title":"Systems &amp","author":"Wu X.","year":"2009","unstructured":"X. Wu , B. R. Bryant , J. Gray , and M. Mernik . Component-based LR parsing. Computer Languages , Systems &amp ; Structures, 2009 . In press . X. Wu, B. R. Bryant, J. Gray, and M. Mernik. Component-based LR parsing. Computer Languages, Systems & Structures, 2009. In press."}],"event":{"name":"PLDI '09: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Dublin Ireland","acronym":"PLDI '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542476.1542499","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1542476.1542499","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:56Z","timestamp":1750238996000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542476.1542499"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,15]]},"references-count":28,"alternative-id":["10.1145\/1542476.1542499","10.1145\/1542476"],"URL":"https:\/\/doi.org\/10.1145\/1542476.1542499","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1543135.1542499","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,6,15]]},"assertion":[{"value":"2009-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}