{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:10Z","timestamp":1750219990899,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,1,15]],"date-time":"2023-01-15T00:00:00Z","timestamp":1673740800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Fundação para a Ciência e a Tecnologia","doi-asserted-by":"publisher","award":["2021.08184.BD"],"award-info":[{"award-number":["2021.08184.BD"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,1,15]]},"DOI":"10.1145\/3571786.3573019","type":"proceedings-article","created":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T13:52:15Z","timestamp":1673531535000},"page":"41-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Embedding of Strategic Attribute Grammars via Memoization"],"prefix":"10.1145","author":[{"given":"Jos\u00e9 Nuno","family":"Macedo","sequence":"first","affiliation":[{"name":"HASLab - INESC TEC, Portugal \/ University of Minho, Portugal"}]},{"given":"Emanuel","family":"Rodrigues","sequence":"additional","affiliation":[{"name":"HASLab - INESC TEC, Portugal \/ University of Minho, Portugal"}]},{"given":"Marcos","family":"Viera","sequence":"additional","affiliation":[{"name":"Universidad de la Rep\u00fablica, Uruguay"}]},{"given":"Jo\u00e3o","family":"Saraiva","sequence":"additional","affiliation":[{"name":"HASLab - INESC TEC, Portugal \/ University of Minho, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2023,1,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863495.1863499"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236777"},{"key":"e_1_3_2_1_3_1","volume-title":"Tom: Piggybacking Rewriting on Java","author":"Balland Emilie","year":"2007","unstructured":"Emilie Balland , Paul Brauner , Radu Kopetz , Pierre-Etienne Moreau , and Antoine Reilles . 2007 . Tom: Piggybacking Rewriting on Java . In Term Rewriting and Applications, Franz Baader (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg . 36\u201347. isbn:978-3-540-73449-9 Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, and Antoine Reilles. 2007. Tom: Piggybacking Rewriting on Java. In Term Rewriting and Applications, Franz Baader (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg. 36\u201347. isbn:978-3-540-73449-9"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264249"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814257"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.11.006"},{"volume-title":"Detecting Bad Smells in Haskell","author":"Cowie Jonathan","key":"e_1_3_2_1_7_1","unstructured":"Jonathan Cowie . 2005. Detecting Bad Smells in Haskell . University of Kent , UK. Jonathan Cowie. 2005. Detecting Bad Smells in Haskell. University of Kent, UK."},{"key":"e_1_3_2_1_8_1","volume-title":"Typing Haskell with an Attribute Grammar","author":"Dijkstra Atze","year":"1872","unstructured":"Atze Dijkstra and S. Doaitse Swierstra . 2005. Typing Haskell with an Attribute Grammar . In Advanced Functional Programming, Varmo Vene and Tarmo Uustalu (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 1\u201372. isbn:978-3-540-3 1872 -9 Atze Dijkstra and S. Doaitse Swierstra. 2005. Typing Haskell with an Attribute Grammar. In Advanced Functional Programming, Varmo Vene and Tarmo Uustalu (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 1\u201372. isbn:978-3-540-31872-9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297029"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.10.006"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/129630.129637"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_1_13_1","volume-title":"Semantics of context-free languages. Mathematical systems theory, 2, 2","author":"Knuth Donald E","year":"1968","unstructured":"Donald E Knuth . 1968. Semantics of context-free languages. Mathematical systems theory, 2, 2 ( 1968 ), 127\u2013145. Donald E Knuth. 1968. Semantics of context-free languages. Mathematical systems theory, 2, 2 (1968), 127\u2013145."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53101-7_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3426425.3426943"},{"key":"e_1_3_2_1_16_1","volume-title":"Lrc - A Generator for Incremental Language-Oriented Tools. In 7th International Conference on Compiler Construction, CC\/ETAPS\u201998","volume":"301","author":"Kuiper Matthijs","year":"1998","unstructured":"Matthijs Kuiper and Jo\u00e3o Saraiva . 1998 . Lrc - A Generator for Incremental Language-Oriented Tools. In 7th International Conference on Compiler Construction, CC\/ETAPS\u201998 , Kay Koskimies (Ed.) (LNCS , Vol. 1383). Springer-Verlag, 298\u2013 301 . Matthijs Kuiper and Jo\u00e3o Saraiva. 1998. Lrc - A Generator for Incremental Language-Oriented Tools. In 7th International Conference on Compiler Construction, CC\/ETAPS\u201998, Kay Koskimies (Ed.) (LNCS, Vol. 1383). Springer-Verlag, 298\u2013301."},{"volume-title":"Practical Aspects of Declarative Languages, Shriram Krishnamurthi and C","author":"L\u00e4mmel Ralf","key":"e_1_3_2_1_17_1","unstructured":"Ralf L\u00e4mmel and Joost Visser . 2002. Typed Combinators for Generic Traversal . In Practical Aspects of Declarative Languages, Shriram Krishnamurthi and C . R. Ramakrishnan (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 137\u2013154. isbn:978-3-540-45587-5 Ralf L\u00e4mmel and Joost Visser. 2002. Typed Combinators for Generic Traversal. In Practical Aspects of Declarative Languages, Shriram Krishnamurthi and C. R. Ramakrishnan (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 137\u2013154. isbn:978-3-540-45587-5"},{"volume-title":"Proceedings of the 2nd International Conference on Theory and Practice of Algebraic Specifications (Algebraic\u201997)","author":"Sebastiaan","key":"e_1_3_2_1_18_1","unstructured":"Sebastiaan P. Luttik and Eelco Visser. 1997. Specification of Rewriting Strategies . In Proceedings of the 2nd International Conference on Theory and Practice of Algebraic Specifications (Algebraic\u201997) . BCS Learning & Development Ltd., Swindon, GBR. 9. isbn:3540762280 Sebastiaan P. Luttik and Eelco Visser. 1997. Specification of Rewriting Strategies. In Proceedings of the 2nd International Conference on Theory and Practice of Algebraic Specifications (Algebraic\u201997). BCS Learning & Development Ltd., Swindon, GBR. 9. isbn:3540762280"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99461-7_7"},{"key":"e_1_3_2_1_20_1","volume-title":"Jo\u00e3o Paulo Fernandes, and Jo\u00e3o Saraiva","author":"Martins Pedro","year":"2013","unstructured":"Pedro Martins , Jo\u00e3o Paulo Fernandes, and Jo\u00e3o Saraiva . 2013 . Zipper-Based Attribute Grammars and Their Extensions. In Programming Languages, Andr\u00e9 Rauber Du Bois and Phil Trinder (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg. 135\u2013149. isbn:978-3-642-40922-6 Pedro Martins, Jo\u00e3o Paulo Fernandes, and Jo\u00e3o Saraiva. 2013. Zipper-Based Attribute Grammars and Their Extensions. In Programming Languages, Andr\u00e9 Rauber Du Bois and Phil Trinder (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 135\u2013149. isbn:978-3-642-40922-6"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.03.005"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/202176.202185"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/390011.808247"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45821-2_17"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.08.043"},{"key":"e_1_3_2_1_27_1","volume-title":"Hamey","author":"Sloane Anthony M.","year":"2014","unstructured":"Anthony M. Sloane , Matthew Roberts , and Leonard G. C . Hamey . 2014 . Respect Your Parents: How Attribution and Rewriting Can Get Along. In Software Language Engineering, Beno\u00eet Combemale, David J. Pearce, Olivier Barais, and Jurgen J. Vinju (Eds.). Springer International Publishing , Cham. 191\u2013210. isbn:978-3-319-11245-9 Anthony M. Sloane, Matthew Roberts, and Leonard G. C. Hamey. 2014. Respect Your Parents: How Attribution and Rewriting Can Get Along. In Software Language Engineering, Beno\u00eet Combemale, David J. Pearce, Olivier Barais, and Jurgen J. Vinju (Eds.). Springer International Publishing, Cham. 191\u2013210. isbn:978-3-319-11245-9"},{"volume-title":"Circular Higher-Order Reference Attribute Grammars","author":"S\u00f6derberg Emma","key":"e_1_3_2_1_28_1","unstructured":"Emma S\u00f6derberg and G\u00f6rel Hedin . 2013. Circular Higher-Order Reference Attribute Grammars . In Software Language Engineering, Martin Erwig, Richard F. Paige, and Eric Van Wyk (Eds.). Springer International Publishing , Cham . 302\u2013321. isbn:978-3-319-02654-1 Emma S\u00f6derberg and G\u00f6rel Hedin. 2013. Circular Higher-Order Reference Attribute Grammars. In Software Language Engineering, Martin Erwig, Richard F. Paige, and Eric Van Wyk (Eds.). Springer International Publishing, Cham. 302\u2013321. isbn:978-3-319-02654-1"},{"volume-title":"Designing and Implementing Combinator Languages","author":"Swierstra S. Doaitse","key":"e_1_3_2_1_29_1","unstructured":"S. Doaitse Swierstra , Pablo R. Azero Alcocer , and Jo\u00e3o Saraiva . 1999. Designing and Implementing Combinator Languages . In Advanced Functional Programming, S. Doaitse Swierstra, Jos\u00e9 N. Oliveira, and Pedro R. Henriques (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 150\u2013206. isbn:978-3-540-48506-3 S. Doaitse Swierstra, Pablo R. Azero Alcocer, and Jo\u00e3o Saraiva. 1999. Designing and Implementing Combinator Languages. In Advanced Functional Programming, S. Doaitse Swierstra, Jos\u00e9 N. Oliveira, and Pedro R. Henriques (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 150\u2013206. isbn:978-3-540-48506-3"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 10th International Conference on Compiler Construction (CC \u201901)","author":"van den Brand Mark G. J.","year":"1861","unstructured":"Mark G. J. van den Brand , Arie van Deursen , Jan Heering , H. A. de Jong , Merijn de Jonge , Tobias Kuipers , Paul Klint , Leon Moonen , Pieter A. Olivier , Jeroen Scheerder , Jurgen J. Vinju , Eelco Visser , and Joost Visser . 2001. The ASF+SDF Meta-Environment: A Component-Based Language Development Environment . In Proceedings of the 10th International Conference on Compiler Construction (CC \u201901) . Springer-Verlag , Berlin, Heidelberg . 365\u2013370. isbn:35404 1861 X Mark G. J. van den Brand, Arie van Deursen, Jan Heering, H. A. de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, and Joost Visser. 2001. The ASF+SDF Meta-Environment: A Component-Based Language Development Environment. In Proceedings of the 10th International Conference on Compiler Construction (CC \u201901). Springer-Verlag, Berlin, Heidelberg. 365\u2013370. isbn:354041861X"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.03.047"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45127-7_27"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/74818.74830"}],"event":{"name":"POPL '23: The 50th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Boston MA USA","acronym":"POPL '23"},"container-title":["Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3571786.3573019","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3571786.3573019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:33Z","timestamp":1750182573000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3571786.3573019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,15]]},"references-count":33,"alternative-id":["10.1145\/3571786.3573019","10.1145\/3571786"],"URL":"https:\/\/doi.org\/10.1145\/3571786.3573019","relation":{},"subject":[],"published":{"date-parts":[[2023,1,15]]},"assertion":[{"value":"2023-01-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}