{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:23:57Z","timestamp":1725711837726},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357367"},{"type":"electronic","value":"9783642357374"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35737-4_3","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T01:12:22Z","timestamp":1357780342000},"page":"39-59","source":"Crossref","is-referenced-by-count":5,"title":["Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models"],"prefix":"10.1007","author":[{"given":"Anatoliy","family":"Doroshenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kostiantyn","family":"Zhereb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Allen, E., et al.: The Fortress language specification version 1.0. Sun Microsystems (2006)"},{"key":"3_CR2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719604","volume-title":"LAPACK Users\u2019 guide","author":"E. Anderson","year":"1999","unstructured":"Anderson, E., et al.: LAPACK Users\u2019 guide, 3rd edn. Society for Industrial and Applied Mathematics, Philadelphia (1999)","edition":"3"},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/s10559-011-9346-y","volume":"47","author":"P. Andon","year":"2011","unstructured":"Andon, P., Doroshenko, A., Zhereb, K.: Programming high-performance parallel computations: formal models and graphics processing units. Cybernetics and Systems Analysis\u00a047(4), 659\u2013668 (2011)","journal-title":"Cybernetics and Systems Analysis"},{"key":"3_CR4","unstructured":"Andon P.I., Doroshenko, A.Y., Tseitlin, G.O., Yatsenko O.A.: Algebra-algorithmic models and methods of parallel programming. Academperiodika, Kiev (2007) (in Russian)"},{"issue":"10","key":"3_CR5","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/1562764.1562783","volume":"52","author":"K. Asanovic","year":"2009","unstructured":"Asanovic, K., et al.: A view of the parallel computing landscape. Communications of the ACM\u00a052(10), 56\u201367 (2009)","journal-title":"Communications of the ACM"},{"issue":"8","key":"3_CR6","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1145\/960118.808380","volume":"13","author":"J. Backus","year":"1978","unstructured":"Backus, J.: The history of FORTRAN I, II, and III. SIGPLAN Not.\u00a013(8), 165\u2013180 (1978)","journal-title":"SIGPLAN Not."},{"key":"3_CR7","volume-title":"Parallel Programming with Intel Parallel Studio XE","author":"S. Blair-Chappell","year":"2012","unstructured":"Blair-Chappell, S., Stokes, A.: Parallel Programming with Intel Parallel Studio XE. John Wiley & Sons, Hoboken (2012)"},{"issue":"1-2","key":"3_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0167-8191(96)00097-X","volume":"23","author":"T. Brandes","year":"1997","unstructured":"Brandes, T., et al.: HPFIT: a set of integrated tools for the parallelization of applications using High Performance Fortran. PART I: HPFIT and the TransTOOL environment. Parallel Comput.\u00a023(1-2), 71\u201387 (1997)","journal-title":"Parallel Comput."},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75755-9_1","volume-title":"Applied Parallel Computing. State of the Art in Scientific Computing","author":"A. Buttari","year":"2007","unstructured":"Buttari, A., Dongarra, J., Kurzak, J., Langou, J., Luszczek, P., Tomov, S.: The Impact of Multicore on Math Software. In: K\u00e5gstr\u00f6m, B., Elmroth, E., Dongarra, J., Wa\u015bniewski, J. (eds.) PARA 2006. LNCS, vol.\u00a04699, pp. 1\u201310. Springer, Heidelberg (2007)"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1177\/1094342007078442","volume":"21","author":"B.L. Chamberlain","year":"2007","unstructured":"Chamberlain, B.L., Callahan, D., Zima, H.P.: Parallel programmability and the chapel language. International Journal of High Performance Computing Applications\u00a021(3), 291\u2013312 (2007)","journal-title":"International Journal of High Performance Computing Applications"},{"key":"3_CR11","volume-title":"Using OpenMP: portable shared memory parallel programming","author":"B. Chapman","year":"2007","unstructured":"Chapman, B., Jost, G., Van Der Pas, R.: Using OpenMP: portable shared memory parallel programming. The MIT Press, Cambridge (2007)"},{"issue":"1","key":"3_CR12","first-page":"31","volume":"1","author":"B. Chapman","year":"1992","unstructured":"Chapman, B., Mehrotra, P., Zima, H.: Programming in Vienna Fortran. Sci. Program.\u00a01(1), 31\u201350 (1992)","journal-title":"Sci. Program."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Datta, K., et al.: Stencil computation optimization and auto-tuning on state-of-the-art multicore architectures. In: ACM\/IEEE Conference on Supercomputing, SC 2008, pp. 1\u201312. IEEE Press, Piscataway (2008)","DOI":"10.1109\/SC.2008.5222004"},{"key":"3_CR14","unstructured":"Dolbeau, R., Bihan, S., Bodin, F.: HMPP: A hybrid multi-core parallel programming environment. Technical report, CAPS Enterprise (2007)"},{"issue":"1","key":"3_CR15","first-page":"95","volume":"72","author":"A. Doroshenko","year":"2006","unstructured":"Doroshenko, A., Shevchenko, R.: A Rewriting Framework for Rule-Based Programming Dynamic Applications. Fundamenta Informaticae\u00a072(1), 95\u2013108 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"3_CR16","unstructured":"Doroshenko, A., Zhereb, K., Yatsenko, O.: Formal Facilities for Designing Efficient GPU Programs. In: International Conference on Concurrency Specification and Programming (CS&P 2010), Bornicke, pp. 142\u2013153 (2010)"},{"key":"3_CR17","unstructured":"Doroshenko, A.Y., Zhereb, K.A., Tyrchak, Y.M., Khatniuk, A.O.: Creating Efficient Parallel Programs in Fortran Using Rewriting Rules Technique. In: International Conference on High-Performance Computations (HPC-UA 2011), Kyiv, pp. 76\u201383 (2011) (in Russian)"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/SAAHPC.2011.9","volume-title":"2011 Symposium on Application Accelerators in High-Performance Computing","author":"T. Henderson","year":"2011","unstructured":"Henderson, T., et al.: Experience Applying Fortran GPU Compilers to Numerical Weather Prediction. In: 2011 Symposium on Application Accelerators in High-Performance Computing, pp. 34\u201341. IEEE Computer Society, Washington (2011)"},{"issue":"8","key":"3_CR19","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/135226.135230","volume":"35","author":"S. Hiranandani","year":"1992","unstructured":"Hiranandani, S., Kennedy, K., Tseng, C.-W.: Compiling Fortran D for MIMD distributed-memory machines. Commun. ACM.\u00a035(8), 66\u201380 (1992)","journal-title":"Commun. ACM."},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1145\/2145816.2145866","volume-title":"17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"T. Hoefler","year":"2012","unstructured":"Hoefler, T., Schneider, T.: Communication-centric optimizations by dynamically detecting collective operations. In: 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 305\u2013306. ACM, New York (2012)"},{"issue":"4","key":"3_CR21","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/1594835.1504219","volume":"44","author":"L. Huang","year":"2009","unstructured":"Huang, L., Eachempati, D., Hervey, M.W., Chapman, B.: Exploiting global optimizations for OpenMP programs in the OpenUH compiler. SIGPLAN Not.\u00a044(4), 289\u2013290 (2009)","journal-title":"SIGPLAN Not."},{"key":"3_CR22","first-page":"244","volume-title":"5th International Conference on Supercomputing","author":"F. Irigoin","year":"1991","unstructured":"Irigoin, F., Jouvelot, P., Triolet, R.: Semantical interprocedural parallelization: an overview of the PIPS project. In: 5th International Conference on Supercomputing, pp. 244\u2013251. ACM, New York (1991)"},{"issue":"2","key":"3_CR23","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1093\/ietisy\/e89-d.2.399","volume":"89","author":"M. Ishihara","year":"2006","unstructured":"Ishihara, M., Honda, H.: Development and implementation of an interactive parallelization assistance tool for OpenMP: iPat\/OMP. IEICE Transactions on Information and Systems\u00a089(2), 399\u2013407 (2006)","journal-title":"IEICE Transactions on Information and Systems"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-29737-3_30","volume-title":"Euro-Par 2011: Parallel Processing Workshops","author":"P. Keir","year":"2012","unstructured":"Keir, P., Cockshott, P.W., Richards, A.: Mainstream Parallel Array Programming on Cell. In: Alexander, M., D\u2019Ambra, P., Belloum, A., Bosilca, G., Cannataro, M., Danelutto, M., Di Martino, B., Gerndt, M., Jeannot, E., Namyst, R., Roman, J., Scott, S.L., Traff, J.L., Vall\u00e9e, G., Weidendorfer, J. (eds.) Euro-Par 2011, Part I. LNCS, vol.\u00a07155, pp. 260\u2013269. Springer, Heidelberg (2012)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Kejariwal, A., et al.: Cache-aware partitioning of multi-dimensional iteration spaces. In: SYSTOR 2009: The Israeli Experimental Systems Conference, pp. 15:1\u201315:12. ACM, New York (2009)","DOI":"10.1145\/1534530.1534551"},{"key":"3_CR26","volume-title":"Optimizing compilers for modern architectures: a dependence-based approach","author":"K. Kennedy","year":"2002","unstructured":"Kennedy, K., Allen, J.R.: Optimizing compilers for modern architectures: a dependence-based approach. Morgan Kaufmann, San Francisco (2002)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Kennedy, K., Koelbel, C., Zima, H.: The rise and fall of High Performance Fortran. In: 3rd ACM SIGPLAN Conference on History of Programming Languages (HOPL III), pp. 7:1\u20137:22. ACM, New York (2007)","DOI":"10.1145\/1238844.1238851"},{"issue":"3","key":"3_CR28","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/71.86108","volume":"2","author":"K. Kennedy","year":"1991","unstructured":"Kennedy, K., McKinley, K.S., Tseng, C.W.: Interactive parallel programming using the ParaScope Editor. IEEE Transactions on Parallel and Distributed Systems\u00a02(3), 329\u2013341 (1991)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"issue":"26","key":"3_CR29","doi-asserted-by":"publisher","first-page":"4507","DOI":"10.1142\/S0217979207037946","volume":"21","author":"V.D. Khavryuchenko","year":"2007","unstructured":"Khavryuchenko, V.D., et al.: Quantum chemical study of polyaromatic hydrocarbons in high multiplicity states. International Journal of Modern Physics B\u00a021(26), 4507\u20134515 (2007)","journal-title":"International Journal of Modern Physics B"},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/3-540-39999-2_39","volume-title":"High Performance Computing","author":"K. Kusano","year":"2000","unstructured":"Kusano, K., Satoh, S., Sato, M.: Performance Evaluation of the Omni OpenMP Compiler. In: Valero, M., Joe, K., Kitsuregawa, M., Tanaka, H. (eds.) ISHPC 2000. LNCS, vol.\u00a01940, pp. 403\u2013414. Springer, Heidelberg (2000)"},{"key":"3_CR31","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/1640089.1640106","volume-title":"24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA 2009)","author":"D. Leijen","year":"2009","unstructured":"Leijen, D., Schulte, W., Burckhardt, S.: The design of a task parallel library. In: 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA 2009), pp. 227\u2013242. ACM, New York (2009)"},{"key":"3_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-13217-9_2","volume-title":"Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More","author":"C. Liao","year":"2010","unstructured":"Liao, C., Quinlan, D.J., Panas, T., de Supinski, B.R.: A ROSE-Based OpenMP 3.0 Research Compiler Supporting Multiple Runtime Libraries. In: Sato, M., Hanawa, T., M\u00fcller, M.S., Chapman, B.M., de Supinski, B.R. (eds.) IWOMP 2010. LNCS, vol.\u00a06132, pp. 15\u201328. Springer, Heidelberg (2010)"},{"key":"3_CR33","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/301104.301108","volume-title":"7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"S.-W. Liao","year":"1999","unstructured":"Liao, S.-W., et al.: SUIF Explorer: an interactive and interprocedural parallelizer. In: 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 37\u201348. ACM, New York (1999)"},{"issue":"7","key":"3_CR34","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1016\/j.jpdc.2011.03.006","volume":"71","author":"X. Liu","year":"2011","unstructured":"Liu, X., et al.: Automatic performance debugging of SPMD-style parallel programs. Journal of Parallel and Distributed Computing\u00a071(7), 925\u2013937 (2011)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"3_CR35","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1109\/CCGrid.2012.118","volume-title":"2012 12th IEEE\/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2012)","author":"M. Nakao","year":"2012","unstructured":"Nakao, M., Lee, J., Boku, T., Sato, M.: Productivity and Performance of Global-View Programming with XcalableMP PGAS Language. In: 2012 12th IEEE\/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2012), pp. 402\u2013409. IEEE Computer Society, Washington (2012)"},{"issue":"2","key":"3_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/289918.289920","volume":"17","author":"R.W. Numrich","year":"1998","unstructured":"Numrich, R.W., Reid, J.: Co-array Fortran for parallel programming. ACM SIGPLAN Fortran Forum\u00a017(2), 1\u201331 (1998)","journal-title":"ACM SIGPLAN Fortran Forum"},{"key":"3_CR37","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1145\/2254064.2254124","volume-title":"33rd ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"C.E. Oancea","year":"2012","unstructured":"Oancea, C.E., Rauchwerger, L.: Logical inference techniques for loop parallelization. In: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 509\u2013520. ACM, New York (2012)"},{"key":"3_CR38","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1145319.1145331","volume-title":"Proceedings of the Second International Workshop on Software Engineering for High Performance Computing System Applications","author":"J. Overbey","year":"2005","unstructured":"Overbey, J., Xanthos, S., Johnson, R., Foote, B.: Refactorings for Fortran and high-performance computing. In: Proceedings of the Second International Workshop on Software Engineering for High Performance Computing System Applications, pp. 37\u201339. ACM, New York (2005)"},{"issue":"3","key":"3_CR39","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1883575.1883577","volume":"29","author":"J.L. Overbey","year":"2010","unstructured":"Overbey, J.L., Fotzler, M.J., Kasza, A.J., Johnson, R.E.: A collection of refactoring specifications for Fortran 95. SIGPLAN Fortran Forum\u00a029(3), 11\u201325 (2010)","journal-title":"SIGPLAN Fortran Forum"},{"issue":"1","key":"3_CR40","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/509705.509708","volume":"24","author":"Y. Paek","year":"2002","unstructured":"Paek, Y., Hoeflinger, J., Padua, D.: Efficient and precise array access analysis. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a024(1), 65\u2013109 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"3_CR41","unstructured":"Portland Group PGI Compiler, http:\/\/www.pgroup.com\/"},{"issue":"1","key":"3_CR42","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.future.2009.05.017","volume":"26","author":"R. Preissl","year":"2010","unstructured":"Preissl, R., et al.: Transforming MPI source code based on communication patterns. Future Gener. Comput. Syst.\u00a026(1), 147\u2013154 (2010)","journal-title":"Future Gener. Comput. Syst."},{"key":"3_CR43","unstructured":"Quinlan, D.J.: ROSE compiler infrastructure, http:\/\/rosecompiler.org\/"},{"key":"3_CR44","unstructured":"Reinders, J.: Intel Threading Building Blocks: outfitting C++ for multi-core processor parallelism. O\u2019Reilly Media, Inc., Sebastopol (2007)"},{"key":"3_CR45","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/1274971.1275008","volume-title":"21st Annual International Conference on Supercomputing (ICS 2007)","author":"S. Rus","year":"2007","unstructured":"Rus, S., Pennings, M., Rauchwerger, L.: Sensitivity analysis for automatic parallelization on multi-cores. In: 21st Annual International Conference on Supercomputing (ICS 2007), pp. 263\u2013273. ACM, New York (2007)"},{"key":"3_CR46","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/1229428.1229483","volume-title":"12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"V.A. Saraswat","year":"2007","unstructured":"Saraswat, V.A., Sarkar, V., von Praun, C.: X10: concurrent programming for modern architectures. In: 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, p. 271. ACM, New York (2007)"},{"key":"3_CR47","volume-title":"MPI: The complete reference","author":"M. Snir","year":"1995","unstructured":"Snir, M., et al.: MPI: The complete reference. MIT Press, Cambridge (1995)"},{"issue":"1","key":"3_CR48","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/2179280.2179281","volume":"31","author":"F.G. Tinetti","year":"2012","unstructured":"Tinetti, F.G., M\u00e9ndez, M.: Fortran Legacy software: source code update and possible parallelisation issues. SIGPLAN Fortran Forum\u00a031(1), 5\u201322 (2012)","journal-title":"SIGPLAN Fortran Forum"},{"issue":"6","key":"3_CR49","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/1543135.1542496","volume":"44","author":"G. Tournavitis","year":"2009","unstructured":"Tournavitis, G., Wang, Z., Franke, B., O\u2019Boyle, M.F.P.: Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping. ACM SIGPLAN Notices\u00a044(6), 177\u2013187 (2009)","journal-title":"ACM SIGPLAN Notices"},{"key":"3_CR50","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1145\/1854273.1854322","volume-title":"19th International Conference on Parallel Architectures and Compilation Techniques","author":"H. Vandierendonck","year":"2010","unstructured":"Vandierendonck, H., Rul, S., De Bosschere, K.: The Paralax infrastructure: automatic parallelization with a helping hand. In: 19th International Conference on Parallel Architectures and Compilation Techniques, pp. 389\u2013400. ACM, New York (2010)"},{"key":"3_CR51","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/2162131.2162133","volume-title":"Proceedings of the 2012 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools","author":"N. Ventroux","year":"2012","unstructured":"Ventroux, N., et al.: SESAM\/Par4All: a tool for joint exploration of MPSoC architectures and dynamic dataflow code generation. In: Proceedings of the 2012 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, pp. 9\u201316. ACM, New York (2012)"},{"key":"3_CR52","first-page":"1","volume-title":"1998 ACM\/IEEE Conference on Supercomputing","author":"R.C. Whaley","year":"1998","unstructured":"Whaley, R.C., Dongarra, J.J.: Automatically tuned linear algebra software. In: 1998 ACM\/IEEE Conference on Supercomputing, pp. 1\u201327. IEEE Computer Society, Washington (1998)"}],"container-title":["Communications in Computer and Information Science","ICT in Education, Research, and Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35737-4_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,5]],"date-time":"2022-02-05T17:23:54Z","timestamp":1644081834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35737-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357367","9783642357374"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35737-4_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}