{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:33Z","timestamp":1725493233238},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418610"},{"type":"electronic","value":"9783540453062"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45306-7_7","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T18:55:18Z","timestamp":1193511318000},"page":"86-101","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["User-Extensible Simplification\u2014Type-Based Optimizer Generators"],"prefix":"10.1007","author":[{"given":"Sibylle","family":"Schupp","sequence":"first","affiliation":[]},{"given":"Douglas","family":"Gregor","sequence":"additional","affiliation":[]},{"given":"David","family":"Musser","sequence":"additional","affiliation":[]},{"given":"Shin-Ming","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"issue":"3","key":"7_CR1","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1145\/321958.321970","volume":"23","author":"A. V. Aho","year":"1976","unstructured":"A. V. Aho and S. C. Johnson. Optimal code generation for expression trees. JACM, 23(3):488\u2013501, 1976.","journal-title":"JACM"},{"key":"7_CR2","unstructured":"M. Austern. Generic Programming and the STL: Using and Extending the C++ Standard Template Library. Addison-Wesley, 1999."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"S. Chiba. A metaobject protocol for C++. In Proc. of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pages 285\u2013299, Oct. 1995.","DOI":"10.1145\/217838.217868"},{"key":"7_CR4","unstructured":"CodeSourcery, LLC. G++ Internal Representation, August 2000. \n                    http:\/\/gcc.gnu.org\/onlinedocs\n                    \n                  ."},{"key":"7_CR5","unstructured":"K. Czarnecki and U. W. Eisenecker. Generative Programming\u2014Towards a New Paradigm of Software Engineering. Addison Wesley Longman, 2000."},{"key":"7_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Workshop on Parallel Object-Oriented Scientific Computing (POOSC\u201998), at 12th European Conference on Object-Oriented Programming (ECOOP\u201998)","author":"K. Davis","year":"1998","unstructured":"K. Davis and D. Quinlan. ROSE II: An optimizing code transformer for C++ object-oriented array class libraries. In Workshop on Parallel Object-Oriented Scientific Computing (POOSC\u201998), at 12th European Conference on Object-Oriented Programming (ECOOP\u201998), volume 1543 of LNCS. Springer Verlag, 1998."},{"issue":"3","key":"7_CR7","first-page":"213","volume":"1","author":"C. W. Fraser","year":"1992","unstructured":"C. W. Fraser, D. R. Hanson, and T. A. Proebsting. Engineering a simple, efficient code generator. ACM TOPLAS, 1(3):213\u2013226, 1992.","journal-title":"ACM TOPLAS"},{"issue":"27","key":"7_CR8","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/131080.131089","volume":"4","author":"C. W. Fraser","year":"1992","unstructured":"C. W. Fraser, R. Henry, and T. A. Proebsting. BURG\u2014fast optimal instruction selection and tree parsing. SIGPLAN Notices, 4(27):68\u201376, 1992.","journal-title":"SIGPLAN Notices"},{"key":"7_CR9","unstructured":"D. Q. Frederico Bassetti, Kei Davis. C++ expression templates performance issues in scientific computing. In 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, 1998."},{"key":"7_CR10","unstructured":"D. P. Gregor, S. Schupp, and D. Musser. User-extensible simplification. A case study using MTL and LiDIA. Technical Report TR-00-7, Rensselaer Polytechnic Institute, 2000."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"S. Z. Guyer and C. Li. An annotation language for optimizing software libraries. In T. Ball, editor, 2nd Conference on Domain-Specific Languages. Usenix, 1999.","DOI":"10.1145\/331960.331970"},{"key":"7_CR12","unstructured":"S. Haney, J. Crotinger, S. Karmesin, and S. Smith. PETE, the portable expression template engine. Technical Report LA-UR-99-777, Los Alamos National Laboratory, 1995."},{"key":"7_CR13","unstructured":"D. Kapur and D. R. Musser. Tecton: A language for specifying generic system components. Technical Report 92-20, Rensselaer Polytechnic Institute Computer Science Department, July 1992."},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/0304-3975(94)90192-9","volume":"133","author":"D. Kapur","year":"1994","unstructured":"D. Kapur, D. R. Musser, and X. Nie. An overview of the Tecton proof system. Theoretical Computer Science, 133:307\u2013339, October 24 1994.","journal-title":"Theoretical Computer Science"},{"key":"7_CR15","first-page":"399","volume":"34","author":"L.-Q. Lee","year":"1999","unstructured":"L.-Q. Lee, J. Siek, and A. Lumsdaine. The generic graph component library. In Proc. of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA\u2019 99), volume 34, pages 399\u2013414, 1999.","journal-title":"Proc. of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA\u2019 99)"},{"key":"7_CR16","isbn-type":"print","volume-title":"Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns","author":"K. J. Lieberherr","year":"1996","unstructured":"K. J. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, Boston, 1996. ISBN 0-534-94602-X.","ISBN":"http:\/\/id.crossref.org\/isbn\/053494602X"},{"key":"7_CR17","unstructured":"S. B. Lippman. C++ Gems. Cambridge University Press, December 1996."},{"key":"7_CR18","unstructured":"M. Mitchell. Type-based alias analysis. Dr.Dobb\u2019s Journal, October 2000."},{"issue":"3","key":"7_CR19","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/349214.349222","volume":"22","author":"J. E. Moreira","year":"2000","unstructured":"J. E. Moreira, S. P. Midkiff, and M. Gupta. From flop to megaflops: Java for technical computing. ACM TOPLAS, 22(3):265\u2013295, March 2000.","journal-title":"ACM TOPLAS"},{"key":"7_CR20","unstructured":"D. Musser and A. Saini. STL Tutorial and Reference Guide. C++ Programming with the Standard Template Library. Addison-Wesley, 1996."},{"key":"7_CR21","series-title":"Lect Notes Comput Sci","volume-title":"Generic Programming\u2014International Seminar, Dagstuhl Castle,Germany 1998, Selected Papers","author":"D. Musser","year":"2000","unstructured":"D. Musser, S. Schupp, and R. Loos. Requirements-oriented programming. In M. Jazayeri, R. Loos, and D. Musser, editors, Generic Programming\u2014International Seminar, Dagstuhl Castle,Germany 1998, Selected Papers, volume 1766 of Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, Germany, 2000."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"D. Musser and A. Stepanov. The ADA Generic Library: Linear List Processing Packages. Springer-Verlag, 1989.","DOI":"10.1007\/978-1-4684-7089-5"},{"key":"7_CR23","unstructured":"N. Myers. A new and useful template technique. In C++ Gems [17]."},{"key":"7_CR24","unstructured":"J. V. Reynders, P. J. Hinker, J. C. Cummings, S. R. Atlas, S. Banerjee, W. F. Humphrey, S. R. Karmesin, K. Keahey, M. Srikant, and M. Tholburn. POOMA: A framework for scientific simulations on parallel architectures. In G. V. Wilson and P. Lu, editors, Parallel Programming using C++, pages 553\u2013594. MIT Press, 1996."},{"key":"7_CR25","unstructured":"Scale Compiler Group, Dept. of Comp. Science, Univ. Massachusetts. A scalable compiler for analytical experiments. \n                    http:\/\/www-ali.cs.umass.edu\/Scale\n                    \n                  , 2000."},{"key":"7_CR26","unstructured":"S. Schupp, D. P. Gregor, and D. Musser. Algebraic concepts represented in C++. Technical Report TR-00-8, Rensselaer Polytechnic Institute, 2000."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"J. G. Siek. A modern framework for portable high performance numerical linear algebra. Master\u2019s thesis, Notre Dame, 1999.","DOI":"10.1007\/978-3-642-57172-5_1"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"J. G. Siek and A. Lumsdaine. The Matrix Template Library: A generic programming approach to high performance numerical linear algebra. In International Symposium on Computing in Object-Oriented Parallel Environments, 1998.","DOI":"10.1007\/3-540-49372-7_6"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"C. Simonyi. The future is intentional. IEEE Computer, 1999.","DOI":"10.1109\/MC.1999.762800"},{"key":"7_CR30","unstructured":"A. A. Stepanov and M. Lee. The Standard Template Library. Technical Report HP-94-93, Hewlett-Packard, 1995."},{"key":"7_CR31","unstructured":"B. Stroustrup. The C++ programming language, Third Edition. Addison-Wesley, 3 edition, 1997."},{"key":"7_CR32","unstructured":"The LiDIA Group. Lidia\u2014a C++ library for computational number theory. \n                    http:\/\/www.informatik.tu-darmstadt.de\/TI\/LiDIA\/\n                    \n                  ."},{"key":"7_CR33","unstructured":"T. Veldhuizen. Blitz++. \n                    http:\/\/oonumerics.org\/blitz\n                    \n                  ."},{"key":"7_CR34","unstructured":"T. Veldhuizen. Expression templates. In C++ Gems [17]."},{"key":"7_CR35","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/978-94-009-7798-3_15","volume-title":"Ordered Sets","author":"R. Wille","year":"1982","unstructured":"R. Wille. Restructuring lattice theory: An approach based on hierarchies of concepts. In I. Rival, editor, Ordered Sets, pages 445\u2013470. Reidel, Dordrecht-Boston, 1982."},{"key":"7_CR36","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1016\/0898-1221(92)90120-7","volume":"23","author":"R. Wille","year":"1992","unstructured":"R. Wille. Concept lattices and conceptual knowledge systems. Computers and Mathematics with Applications, 23:493\u2013522, 1992.","journal-title":"Computers and Mathematics with Applications"},{"key":"7_CR37","doi-asserted-by":"crossref","unstructured":"P. Wu, S. P. Midkiff, J. E. Moreira, and M. Gupta. Efficient support for complex numbers in Java. In Proceedings of the ACM Java Grande Conference, 1999.","DOI":"10.1145\/304065.304109"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45306-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:46:02Z","timestamp":1558262762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45306-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418610","9783540453062"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-45306-7_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"23 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}