{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,29]],"date-time":"2024-07-29T19:11:14Z","timestamp":1722280274815},"reference-count":23,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3619,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1016\/s1571-0661(04)80679-0","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"119-133","source":"Crossref","is-referenced-by-count":9,"title":["Domain-Specific Optimisation with User-Defined Rules in CodeBoost"],"prefix":"10.1016","volume":"86","author":[{"given":"Otto Skrove","family":"Bagge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magne","family":"Haveraaen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Otto Skrove Bagge. CodeBoost: A framework for transforming C++ programs. Master's thesis, University of Bergen, P.O. Box 7800, N-5020 Bergen, Norway, March 2003.","DOI":"10.1016\/S1571-0661(04)80679-0"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB2","series-title":"Third International Workshop on Source Code Analysis and Manipulation (SCAM 2003)","article-title":"Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs","author":"Otto Skrove","year":"2003"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Peter Borovansk\u00fd, Claude Kirchner, H\u00e9l\u00e8ne Kirchner, Pierre-Etienne Moreau, and Christophe Ringeissen. An overview of ELAN. In C. and H. Kirchner, editors, Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, Pont-A-Mousson, France, September 1998. Elsevier Science.","DOI":"10.1016\/S1571-0661(05)82552-6"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB4","first-page":"361","article-title":"Abstract programming and program transformation\u2014An approach to reusing programs","volume":"volume 1","author":"Boyle","year":"1989"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB5","series-title":"Modern Software Tools for Scientific Computing","first-page":"353","article-title":"The TAMPR program transformation system: Simplifying the development of numerical software","author":"Boyle","year":"1997"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Shigeru Chiba. A metaobject protocol for C++. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 285\u2013299. ACM, October 1995.","DOI":"10.1145\/217838.217868"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB7","doi-asserted-by":"crossref","unstructured":"James R. Cordy, Charles D. Halpern, and Eric Promislow. TXL: A rapid prototyping system for programming language dialects. In Proceedings of the IEEE 1988 International Conference on Computer Languages, pages 280\u2013285, October 1988.","DOI":"10.1109\/ICCL.1988.13075"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB8","series-title":"Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing","year":"1996"},{"issue":"4","key":"10.1016\/S1571-0661(04)80679-0_NEWBIB9","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1155\/2000\/494281","article-title":"An algebraic programming style for numerical software and its optimization","volume":"8","author":"Dinesh","year":"2000","journal-title":"Scientific Programming"},{"issue":"2","key":"10.1016\/S1571-0661(04)80679-0_NEWBIB10","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0168-9274(01)00096-4","article-title":"Use of coordinate free numerics in elastic wave simulation","volume":"39","author":"Helmer","year":"2001","journal-title":"Applied Numerical Mathematics"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Samuel Z. Guyer and Calvin Lin. An annotation language for optimizing software libraries. In Proceedings of DSL'99: The Second Conference on Domain-Specific Languages, Austin, Texas, USA, 1999. The USENIX Association.","DOI":"10.1145\/331960.331970"},{"issue":"3","key":"10.1016\/S1571-0661(04)80679-0_NEWBIB12","first-page":"241","article-title":"Formal software engineering for computational modelling","volume":"6","author":"Magne","year":"1999","journal-title":"Nordic Journal of Computing"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB13","unstructured":"ISO\/IEC JTC1 SC 22. ISO\/IEC 14882: Programming languages \u2013- C++, 1998."},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB14","article-title":"Playing by the rules: Rewriting as a practical optimisation technique in GHC","author":"Simon","year":"2001"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB15","series-title":"The C Programming Language","author":"Kernighan","year":"1988"},{"issue":"supplement 1","key":"10.1016\/S1571-0661(04)80679-0_NEWBIB16","first-page":"487","article-title":"Coordinate free numerics \u2014 closing the gap between \u2018pure\u2019 and \u2018applied\u2019 mathematics?","volume":"76","author":"Hans","year":"1996","journal-title":"Zeitschrift f\u00fcr Angewandte Mathematik und Mechanik"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB17","unstructured":"Nathan C Myers. Traits: a new and usefule template technique. C++ Report, June 1995."},{"issue":"13","key":"10.1016\/S1571-0661(04)80679-0_NEWBIB18","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1016\/S0950-5849(02)00122-2","article-title":"Semantic and behavioral library transformations","volume":"44","author":"Sibylle","year":"2002","journal-title":"Information and Software Technology"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB19","series-title":"Common LISP: The Language","author":"Steele","year":"1990"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB20","series-title":"The C++ Programming Language","author":"Bjarne","year":"1997"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB21","unstructured":"Todd L. Veldhuizen. Expression templates. C++ Report, 7 (5): 26\u201331, June 1995. Reprinted in C++ Gems, ed. Stanley Lippman."},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB22","doi-asserted-by":"crossref","unstructured":"Eelco Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA'01), volume 2051 of Lecture Notes in Computer Science, pages 357\u2013361. Springer-Verlag, May 2001.","DOI":"10.1007\/3-540-45127-7_27"},{"key":"10.1016\/S1571-0661(04)80679-0_NEWBIB23","doi-asserted-by":"crossref","unstructured":"Eelco Visser, Zine-el-Abidine Benaissa, and Andrew Tolmach. Building program optimizers with rewriting strategies. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP'98), pages 13\u201326. ACM Press, September 1998.","DOI":"10.1145\/289423.289425"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806790?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806790?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:14:23Z","timestamp":1585898063000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806790"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S1571066104806790"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80679-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}