{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:08Z","timestamp":1772163968663,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,4]],"date-time":"2009-10-04T00:00:00Z","timestamp":1254614400000},"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,10,4]]},"DOI":"10.1145\/1621607.1621611","type":"proceedings-article","created":{"date-parts":[[2009,10,6]],"date-time":"2009-10-06T14:23:22Z","timestamp":1254839002000},"page":"5-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Reusable, generic program analyses and transformations"],"prefix":"10.1145","author":[{"given":"Jeremiah James","family":"Willcock","sequence":"first","affiliation":[{"name":"Indiana University, Bloomington, IN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Lumsdaine","sequence":"additional","affiliation":[{"name":"Indiana University, Bloomington, IN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel J.","family":"Quinlan","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, Livermore, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,4]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Professional Computing Series","volume-title":"Generic programming and the STL: Using and extending the C Standard Template Library","author":"Austern M.H.","year":"1998","unstructured":"M.H. Austern . Generic programming and the STL: Using and extending the C Standard Template Library . Professional Computing Series . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1998 . M.H. Austern. Generic programming and the STL: Using and extending the C Standard Template Library. Professional Computing Series. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1998."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449814.1449855"},{"key":"e_1_3_2_1_3_1","volume-title":"Workshop on Language Description, Tools and Applications. Elsevier","author":"Bagge A.H.","year":"2008","unstructured":"A.H. Bagge and M. Haveraaen . Axiom-based transformations: Optimisation and testing . In Workshop on Language Description, Tools and Applications. Elsevier , Apr. 2008 . http:\/\/magnolia-lang.org\/publications\/axioms-ldta-2008.pdf. A.H. Bagge and M. Haveraaen. Axiom-based transformations: Optimisation and testing. In Workshop on Language Description, Tools and Applications. Elsevier, Apr. 2008. http:\/\/magnolia-lang.org\/publications\/axioms-ldta-2008.pdf."},{"key":"e_1_3_2_1_4_1","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"J.-L. Giavitto and P.-E","author":"Bagge O.S.","year":"2003","unstructured":"O.S. Bagge and M. Haveraaen . Domain-specific optimisation with user-defined rules in CodeBoost . In J.-L. Giavitto and P.-E . Moreau, editors, Workshop on Rule-Based Programming, volume 86\/2 of Electronic Notes in Theoretical Computer Science , Valencia, Spain, 2003 . Elsevier . O.S. Bagge and M. Haveraaen. Domain-specific optimisation with user-defined rules in CodeBoost. In J.-L. Giavitto and P.-E. Moreau, editors, Workshop on Rule-Based Programming, volume 86\/2 of Electronic Notes in Theoretical Computer Science, Valencia, Spain, 2003. Elsevier."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2003.1238032"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/201059.201061"},{"key":"e_1_3_2_1_7_1","volume-title":"Nov.","author":"de Dinechin C.","year":"2007","unstructured":"C. de Dinechin . XLR: Extensible language and runtime , Nov. 2007 . http:\/\/xlr.sourceforge.net\/. C. de Dinechin. XLR: Extensible language and runtime, Nov. 2007. http:\/\/xlr.sourceforge.net\/."},{"key":"e_1_3_2_1_8_1","first-page":"554","volume-title":"International Conference on Software Engineering","author":"Dwyer M.B.","year":"1996","unstructured":"M.B. Dwyer and L.A. Clarke . A flexible architecture for building data flow analyzers . In International Conference on Software Engineering , pages 554 -- 564 , Washington, DC, USA , 1996 . IEEE Computer Society. M.B. Dwyer and L.A. Clarke. A flexible architecture for building data flow analyzers. In International Conference on Software Engineering, pages 554--564, Washington, DC, USA, 1996. IEEE Computer Society."},{"key":"e_1_3_2_1_9_1","volume-title":"Pattern-based languages for prototyping of compiler optimizers. Technical report","author":"Farnum C.D.","year":"1990","unstructured":"C.D. Farnum . Pattern-based languages for prototyping of compiler optimizers. Technical report , University of California , Berkeley , 1990 . C.D. Farnum. Pattern-based languages for prototyping of compiler optimizers. Technical report, University of California, Berkeley, 1990."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006198"},{"key":"e_1_3_2_1_11_1","first-page":"249","volume-title":"Australasian Conference on Computer Science","author":"Glynn E.","year":"2005","unstructured":"E. Glynn , I. Hayes , and A. MacDonald . Integration of generic program analysis tools into a software development environment . In Australasian Conference on Computer Science , pages 249 -- 257 , Darlinghurst, Australia, Australia , 2005 . Australian Computer Society, Inc. E. Glynn, I. Hayes, and A. MacDonald. Integration of generic program analysis tools into a software development environment. In Australasian Conference on Computer Science, pages 249--257, Darlinghurst, Australia, Australia, 2005. Australian Computer Society, Inc."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-005-3580-8"},{"key":"e_1_3_2_1_13_1","first-page":"127","volume-title":"Proceedings of the IFIP TC2 Working Conference on Generic Programming","author":"Gregor D.","year":"2002","unstructured":"D. Gregor and S. Schupp . Making the usage of STL safe. In J. Gibbons and J. Jeuring, editors , Proceedings of the IFIP TC2 Working Conference on Generic Programming , pages 127 -- 140 , Boston , 2002 . Kluwer. D. Gregor and S. Schupp. Making the usage of STL safe. In J. Gibbons and J. Jeuring, editors, Proceedings of the IFIP TC2 Working Conference on Generic Programming, pages 127--140, Boston, 2002. Kluwer."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v36:3"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the IEEE","author":"Guyer S.Z.","year":"2004","unstructured":"S.Z. Guyer and C. Lin . Broadway: A compiler for exploiting the domain-specific semantics of software libraries . Proceedings of the IEEE , 2004 . S.Z. Guyer and C. Lin. Broadway: A compiler for exploiting the domain-specific semantics of software libraries. Proceedings of the IEEE, 2004."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645671.665383"},{"key":"e_1_3_2_1_18_1","volume-title":"Programming languages -- C++","author":"International Organization for Standardization. ISO\\slash IEC 14882:1998","year":"1998","unstructured":"International Organization for Standardization. ISO\\slash IEC 14882:1998 : Programming languages -- C++ . Geneva, Switzerland , Sept. 1998 . International Organization for Standardization. ISO\\slash IEC 14882:1998: Programming languages -- C++. Geneva, Switzerland, Sept. 1998."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781156"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040335"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094840"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-004-3997-6"},{"key":"e_1_3_2_1_23_1","volume-title":"16th Workshop on Languages and Compilers for Parallel Computing","author":"Quinlan D.","year":"2003","unstructured":"D. Quinlan , M. Schordan , Q. Yi , and B.R. de Supinski . Semantic-driven parallelization of loops operating on user-defined containers . In 16th Workshop on Languages and Compilers for Parallel Computing , Oct. 2003 . http:\/\/parasol.tamu.edu\/lcpc03\/informal-proceedings\/Papers\/26.pdf. D. Quinlan, M. Schordan, Q. Yi, and B.R. de Supinski. Semantic-driven parallelization of loops operating on user-defined containers. In 16th Workshop on Languages and Compilers for Parallel Computing, Oct. 2003. http:\/\/parasol.tamu.edu\/lcpc03\/informal-proceedings\/Papers\/26.pdf."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/376656.376751"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45213-3_27"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/647477.727785"},{"key":"e_1_3_2_1_27_1","volume-title":"The Boost Graph Library: User Guide and Reference Manual","author":"Siek J.","year":"2002","unstructured":"J. Siek , L.-Q. Lee , and A. Lumsdaine . The Boost Graph Library: User Guide and Reference Manual . Addison-Wesley , 2002 . J. Siek, L.-Q. Lee, and A. Lumsdaine. The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley, 2002."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/646894.709706"},{"key":"e_1_3_2_1_30_1","unstructured":"Silicon Graphics Inc. SGI Implementation of the Standard Template Library 2004. http:\/\/www.sgi.com\/tech\/stl\/.  Silicon Graphics Inc. SGI Implementation of the Standard Template Library 2004. http:\/\/www.sgi.com\/tech\/stl\/."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/645867.670930"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108768.1108810"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00053-0"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1512762.1512772"},{"key":"e_1_3_2_1_35_1","unstructured":"The GHC Team. The Glorious Glasgow Haskell Compilation System User's Guide version 6.10.3 edition. http:\/\/www.haskell.org\/ghc\/docs\/latest\/html\/users_guide\/index.html.  The GHC Team. The Glorious Glasgow Haskell Compilation System User's Guide version 6.10.3 edition. http:\/\/www.haskell.org\/ghc\/docs\/latest\/html\/users_guide\/index.html."},{"key":"e_1_3_2_1_37_1","unstructured":"T. L. Veldhuizen. Expression templates. C++ Report 7(5):26--31 June 1995. Reprinted in C++ Gems ed. Stanley Lippman.  T. L. Veldhuizen. Expression templates. C++ Report 7(5):26--31 June 1995. Reprinted in C++ Gems ed. Stanley Lippman."},{"key":"e_1_3_2_1_38_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/3-540-45127-7_27","volume-title":"Rewriting Techniques and Applications (RTA'01)","author":"Visser E.","year":"2001","unstructured":"E. Visser . Stratego : A language for program transformation based on rewriting strategies . In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA'01) , volume 2051 of Lecture Notes in Computer Science , pages 357 -- 361 . Springer-Verlag , May 2001 . E. Visser. Stratego: A language for program transformation based on rewriting strategies. In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA'01), volume 2051 of Lecture Notes in Computer Science, pages 357--361. Springer-Verlag, May 2001."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_40_1","volume-title":"Using axiomatic type classes in Isabelle (manual)","author":"Wenzel M.","year":"1995","unstructured":"M. Wenzel . Using axiomatic type classes in Isabelle (manual) , 1995 . www.cl.cam.ac.uk\/Research\/HVG\/Isabelle\/docs.html. M. Wenzel. Using axiomatic type classes in Isabelle (manual), 1995. www.cl.cam.ac.uk\/Research\/HVG\/Isabelle\/docs.html."}],"event":{"name":"GPCE'09: Generative Programming and Component Engineering","location":"Denver Colorado USA","acronym":"GPCE'09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eighth international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1621607.1621611","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1621607.1621611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:17:46Z","timestamp":1750234666000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1621607.1621611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,4]]},"references-count":37,"alternative-id":["10.1145\/1621607.1621611","10.1145\/1621607"],"URL":"https:\/\/doi.org\/10.1145\/1621607.1621611","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1837852.1621611","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,10,4]]},"assertion":[{"value":"2009-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}