{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:45:12Z","timestamp":1725763512542},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319039978"},{"type":"electronic","value":"9783319039985"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03998-5_5","type":"book-chapter","created":{"date-parts":[[2013,12,12]],"date-time":"2013-12-12T08:10:42Z","timestamp":1386835842000},"page":"70-92","source":"Crossref","is-referenced-by-count":15,"title":["Developing and Optimizing Parallel Programs with Algebra-Algorithmic and Term Rewriting Tools"],"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"}]},{"given":"Olena","family":"Yatsenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Multi-Core Programming","author":"S. Akhter","year":"2006","unstructured":"Akhter, S., Roberts, J.: Multi-Core Programming. Intel Press, Hillsboro (2006)"},{"key":"5_CR2","unstructured":"Andon, F.I., Doroshenko, A.Y., Tseytlin, G.O., Yatsenko, O.A.: Algebra-Algorithmic Models and Methods of Parallel Programming. Akademperiodika, Kyiv (2007) (in Russian)"},{"issue":"11","key":"5_CR3","doi-asserted-by":"publisher","first-page":"1022","DOI":"10.1016\/j.scico.2010.02.001","volume":"75","author":"S. Apel","year":"2010","unstructured":"Apel, S., et al.: An Algebraic Foundation for Automatic Feature-Based Program Synthesis. Science of Computer Programming\u00a075(11), 1022\u20131047 (2010)","journal-title":"Science of Computer Programming"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/2371401.2371416","volume-title":"Proc. 11th Int. Conf on Generative Programming and Component Engineering","author":"H. Bagheri","year":"2012","unstructured":"Bagheri, H., Sullivan, K.: Pol: Specification-Driven Synthesis of Architectural Code Frameworks for Platform-Based Applications. In: Proc. 11th Int. Conf on Generative Programming and Component Engineering, pp. 93\u2013102. ACM, New York (2012)"},{"issue":"8","key":"5_CR5","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/2517327.2442529","volume":"48","author":"G. Barthe","year":"2013","unstructured":"Barthe, G., et al.: From relational verification to SIMD loop synthesis. ACM SIGPLAN Notices\u00a048(8), 123\u2013134 (2013)","journal-title":"ACM SIGPLAN Notices"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-540-71229-9_11","volume-title":"Compiler Construction","author":"D. Batory","year":"2007","unstructured":"Batory, D.: Program Refactoring, Program Synthesis, and Model-Driven Development. In: Adsul, B., Odersky, M. (eds.) CC 2007. LNCS, vol.\u00a04420, pp. 156\u2013171. Springer, Heidelberg (2007)"},{"key":"5_CR7","unstructured":"Bures, T., et al.: The Role of Ontologies in Schema-Based Program Synthesis. In: Proc. Workshop on Ontologies as Software Engineering Artifacts, Vancouver (2004)"},{"key":"5_CR8","unstructured":"Cilk Home Page, http:\/\/cilkplus.org\/"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/1-4020-3351-6_13","volume-title":"Advances in Air Pollution Modeling for Environmental Security","author":"A.Y. Doroshenko","year":"2005","unstructured":"Doroshenko, A.Y., Prusov, V.A.: Methods of Efficient Modeling and Forecasting Regional Atmospheric Processes. In: Farag\u00f3, I., et al. (eds.) Advances in Air Pollution Modeling for Environmental Security, pp. 143\u2013152. Springer, Netherlands (2005)"},{"issue":"1-3","key":"5_CR10","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-3), 95\u2013108 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR11","unstructured":"Doroshenko, A., Tseytlin, G., Yatsenko, O., Zachariya, L.: A Theory of Clones and Formalized Design of Programs. In: Proc. Int. Workshop on Concurrency, Specification and Programming (CS&P 2006), Wandlitz, Germany, pp. 328\u2013339 (2006)"},{"key":"5_CR12","unstructured":"Doroshenko, A.Y., Zhereb, K.A., Yatsenko, Y.A.: On Complexity and Coordination of Computation in Multithreaded Programs. Problems in Programming\u00a02, 41\u201355 (2007) (in Russian)"},{"key":"5_CR13","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-35737-4_3","volume-title":"ICT in Education, Research, and Industrial Applications","author":"A. Doroshenko","year":"2013","unstructured":"Doroshenko, A., Zhereb, K.: Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G., et al. (eds.) ICTERI 2012. CCIS, vol.\u00a0347, pp. 39\u201359. Springer, Heidelberg (2013)"},{"issue":"3","key":"5_CR14","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1017\/S0956796802004562","volume":"13","author":"B. Fischer","year":"2003","unstructured":"Fischer, B., Schumann, J.: AutoBayes: a System for Generating Data Analysis Programs from Statistical Models. J. Funct. Program.\u00a013(3), 483\u2013508 (2003)","journal-title":"J. Funct. Program."},{"key":"5_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/3-540-45628-7_13","volume-title":"Computational Logic: Logic Programming and Beyond","author":"P. Flener","year":"2002","unstructured":"Flener, P.: Achievements and Prospects of Program Synthesis. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02407, pp. 310\u2013346. Springer, Heidelberg (2002)"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1836089.1836091","volume-title":"12th Int. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming","author":"S. Gulwani","year":"2010","unstructured":"Gulwani, S.: Dimensions in Program Synthesis. In: 12th Int. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pp. 13\u201324. ACM, New York (2010)"},{"issue":"2","key":"5_CR17","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering Methodology\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-35873-9_8","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S. Jacobs","year":"2013","unstructured":"Jacobs, S., Kuncak, V., Suter, P.: Reductions for Synthesis Procedures. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol.\u00a07737, pp. 88\u2013107. Springer, Heidelberg (2013)"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-11931-6_3","volume-title":"Approaches and Applications of Inductive Programming","author":"E. Kitzelmann","year":"2010","unstructured":"Kitzelmann, E.: Inductive Programming: a Survey of Program Synthesis Techniques. In: Schmid, U., Kitzelmann, E., Plasmeijer, R. (eds.) AAIP 2009. LNCS, vol.\u00a05812, pp. 50\u201373. Springer, Heidelberg (2010)"},{"key":"5_CR20","unstructured":"Kneuss, E., et al.: On Integrating Deductive Synthesis and Verification Systems. Technical Report (2013)"},{"key":"5_CR21","series-title":"A Tribute to Robert Paige","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-1-4020-6585-9_10","volume-title":"Automatic Program Development","author":"E.I. Leonard","year":"2008","unstructured":"Leonard, E.I., Heitmeyer, C.L.: Automatic Program Generation from Formal Specifications using APTS. In: Automatic Program Development. A Tribute to Robert Paige, pp. 93\u2013113. Springer, Dordrecht (2008)"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/1865875.1865879","volume-title":"Proc. 7th Int. Workshop on Model-Based Methodologies for Pervasive and Embedded Software","author":"R. Mannadiar","year":"2010","unstructured":"Mannadiar, R., Vangheluwe, H.: Modular Synthesis of Mobile Device Applications from Domain-Specific Models. In: Proc. 7th Int. Workshop on Model-Based Methodologies for Pervasive and Embedded Software, pp. 21\u201328. ACM, New York (2010)"},{"key":"5_CR23","unstructured":"Menon, A., et al.: A machine learning framework for programming by example. In: Proceedings of the 30th International Conference on Machine Learning (ICML 2013), pp. 187\u2013195 (2013)"},{"issue":"2","key":"5_CR24","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1504\/IJEP.2008.017104","volume":"32","author":"V.A. Prusov","year":"2008","unstructured":"Prusov, V.A., Doroshenko, A.Y.: On efficient numerical solution of one-dimensional convection-diffusion equations in modelling atmospheric processes. International Journal of Environment and Pollution\u00a032(2), 231\u2013249 (2008)","journal-title":"International Journal of Environment and Pollution"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-38856-9_16","volume-title":"Static Analysis","author":"V. Raychev","year":"2013","unstructured":"Raychev, V., Vechev, M., Yahav, E.: Automatic Synthesis of Deterministic Concurrency. In: Logozzo, F., F\u00e4hndrich, M. (eds.) Static Analysis. LNCS, vol.\u00a07935, pp. 283\u2013303. Springer, Heidelberg (2013)"},{"issue":"6","key":"5_CR26","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/2184319.2184345","volume":"55","author":"T. Rompf","year":"2012","unstructured":"Rompf, T., Odersky, M.: Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. Communications of ACM\u00a055(6), 121\u2013130 (2012)","journal-title":"Communications of ACM"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/1706299.1706337","volume-title":"Proc. 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"S. Srivastava","year":"2010","unstructured":"Srivastava, S., Gulwani, S., Foster, J.S.: From Program Verification to Program Synthesis. In: Proc. 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 313\u2013326. ACM, New York (2010)"},{"key":"5_CR28","unstructured":"Yatsenko, O.: On Parameter-Driven Generation of Algorithm Schemes. In: Proc. Int. Workshop on Concurrency: Specification and Programming (CS&P 2012), Berlin, Germany, pp. 428\u2013438 (2012)"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03998-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,19]],"date-time":"2022-03-19T15:30:09Z","timestamp":1647703809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03998-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319039978","9783319039985"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03998-5_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}