{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:54:55Z","timestamp":1742964895969,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244841"},{"type":"electronic","value":"9783642244858"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24485-8_45","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T15:59:05Z","timestamp":1318262345000},"page":"608-622","source":"Crossref","is-referenced-by-count":4,"title":["Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?"],"prefix":"10.1007","author":[{"given":"Antoine","family":"Floch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomofumi","family":"Yuki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clement","family":"Guy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Derrien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjay","family":"Rajopadhye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert B.","family":"France","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","volume-title":"Future of Software Engineering 2007","author":"R. France","year":"2007","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: Briand, L., Wolf, A. (eds.) Future of Software Engineering 2007. IEEE-CS Press, Los Alamitos (2007)"},{"issue":"2","key":"45_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D. Schmidt","year":"2006","unstructured":"Schmidt, D.: Guest editor\u2019s introduction: Model-driven engineering. Computer\u00a039(2), 25\u201331 (2006)","journal-title":"Computer"},{"unstructured":"The Object Management Group: UML 2.0: Superstructure Specification. Version 2.0, OMG, formal\/05-07-04 (2005)","key":"45_CR3"},{"issue":"2","key":"45_CR4","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/1461928.1461946","volume":"52","author":"M. Hall","year":"2009","unstructured":"Hall, M., Padua, D., Pingali, K.: Compiler research: the next 50 years. Communications of the ACM\u00a052(2), 60\u201367 (2009)","journal-title":"Communications of the ACM"},{"issue":"3","key":"45_CR5","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MC.2007.107","volume":"40","author":"J.L. Tripp","year":"2007","unstructured":"Tripp, J.L., Gokhale, M., Peterson, K.D.: Trident: From High-Level Language to Hardware Circuitry. IEEE Computer\u00a040(3), 28\u201337 (2007)","journal-title":"IEEE Computer"},{"key":"45_CR6","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/1111037.1111042","volume-title":"Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"X. Leroy","year":"2006","unstructured":"Leroy, X.: Formal certification of a compiler back-end or: programming a compiler with a proof assistant. In: Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 42\u201354. ACM, New York (2006)"},{"key":"45_CR7","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/1863543.1863581","volume-title":"Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming","author":"G. Arnold","year":"2010","unstructured":"Arnold, G., H\u00f6lzl, J., K\u00f6ksal, A., Bod\u00edk, R., Sagiv, M.: Specifying and verifying sparse matrix codes. In: Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, pp. 249\u2013260. ACM, New York (2010)"},{"issue":"11-13","key":"45_CR8","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<825::AID-CPE383>3.0.CO;2-H","volume":"10","author":"K. Yelick","year":"1998","unstructured":"Yelick, K., Semenzato, L., Pike, G., Miyamoto, C., Liblit, B., Krishnamurthy, A., Hilfinger, P., Graham, S., Gay, D., Colella, P., et al.: Titanium: A high-performance Java dialect. Concurrency Practice and Experience\u00a010(11-13), 825\u2013836 (1998)","journal-title":"Concurrency Practice and Experience"},{"key":"45_CR9","first-page":"519","volume-title":"ACM SIGPLAN Notices","author":"P. Charles","year":"2005","unstructured":"Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., Von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: ACM SIGPLAN Notices, vol.\u00a040, pp. 519\u2013538. ACM, New York (2005)"},{"issue":"3","key":"45_CR10","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1177\/1094342007078442","volume":"21","author":"B. Chamberlain","year":"2007","unstructured":"Chamberlain, B., Callahan, D., Zima, H.: Parallel programmability and the Chapel language. International Journal of High Performance Computing Applications\u00a021(3), 291 (2007)","journal-title":"International Journal of High Performance Computing Applications"},{"doi-asserted-by":"crossref","unstructured":"Clavreul, M., Barais, O., J\u00e9z\u00e9quel, J.M.: Integrating legacy systems with mde. In: ICSE 2010: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering and ICSE Workshops, Cape Town, South Africa, vol.\u00a02, pp. 69\u201378. ( May 2010)","key":"45_CR11","DOI":"10.1145\/1810295.1810306"},{"issue":"4","key":"45_CR12","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10270-006-0036-6","volume":"6","author":"J. Steel","year":"2007","unstructured":"Steel, J., J\u00e9z\u00e9quel, J.M.: On model typing. Journal of Software and Systems Modeling (SoSyM)\u00a06(4), 401\u2013414 (2007)","journal-title":"Journal of Software and Systems Modeling (SoSyM)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24485-8_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T04:32:34Z","timestamp":1560745954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24485-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244841","9783642244858"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24485-8_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}